Explore projects

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.

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

MILP/CP framework for "Analyzing the Linear Keystream Biases in AEGIS" https://doi.org/10.13154/tosc.v2019.i4.348-368

Tools for finding linear characteristics for the authenticated cipher AEGIS from the CAESAR portfolio: Mixed-Integer Linear Programming (MILP) and Constraint Programming (CP) models including TikZ output

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