Explore projects

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

Code examples for the lecture

Template GIT repo structure for IAIK bachelor's theses

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

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

Illustrative examples extending lecture content

Template GIT repo structure for IAIK master's projects

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

Securityweek Physical Side-Channels Lab