A collection of useful scripts
Python implementation of ASM related tools. (e.g., assembler and simulator for the TOY ISA and RISC-V)
SAT framework of "Bounds for the Security of Ascon against Differential and Linear Cryptanalysis"
Code for the paper: "Riding the Waves Towards Generic Single-Cycle Masking in Hardware"
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.