Explore projects

Automated VM and Docker container provisioning for the CON course

Securityweek Physical Side-Channels Lab

Reference implementations and scripts to calculate round numbers for the PRF Hydra.

Tool to generate mdp in PRISM language from experiments in CARLA

A tool to find key recovery attacks based on a given cluster of differentials

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

Reference implementations and scripts to calculate round numbers for the GMiMC 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.