Explore projects

Work on soft error analysis for the IMMORTAL project (activity with IBM)

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

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

Repository containing the directory structure for LuB submissions.

Reference implementations and scripts to calculate round numbers, MDS matrices, and round constants for the HadesMiMC block cipher.

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

Reference implementations and scripts to calculate round numbers for the GMiMC block cipher.