Explore projects

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

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

A Mirror of the Hat Trie project on GitHub.

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

Securityweek Physical Side-Channels Lab

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

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