Explore projects

SAT framework of "Bounds for the Security of Ascon against Differential and Linear Cryptanalysis" https://doi.org/10.46586/tosc.v2022.i1.64-87

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

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

This is the very first step towards Learning Mealy Machines with Timers.

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

A collection of useful scripts