Explore projects

A collection of useful scripts

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

Automated VM and Docker container provisioning for the CON course

Work on soft error analysis for the IMMORTAL project (activity with IBM)

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

Fork of https://github.com/OP-TEE/manifest