Explore projects

Upstream Git Repository for Computer Organization and Networks Practicals 2019/20

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.

Code examples for the lecture

Upstream Git Repository for Computer Organization and Networks Practicals 2020/21

Illustrative examples extending lecture content

Template GIT repo structure for Introduction to Scientific Writing reports

https://www.iaik.tugraz.at/isw

Template GIT repo structure for IAIK master's projects

https://www.iaik.tugraz.at/master-thesis

Template GIT repo structure for IAIK bachelor's theses

https://www.iaik.tugraz.at/bachelor-thesis

Template GIT repo structure for IAIK master's theses

https://www.iaik.tugraz.at/master-thesis

Securityweek Physical Side-Channels Lab