Explore projects

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

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

Repository containing the directory structure for LuB submissions.

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

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

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