Explore projects

PoC code for "Information-Combining Fault Attacks on DEFAULT" https://doi.org/10.1007/978-3-031-07082-2_7

Maven repository of IAIK crypto libraries

Assignment descriptions and frameworks for Verification and Testing 2021/22.

Automated VM and Docker container provisioning for the CON course

This project contains the material for the Verification and Testing practicals.

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

A tool to evaluate the security of a linear layer given in matrix form in the context of PSPNs and HADES-like permutations.