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

A collection of useful scripts

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

Automated VM and Docker container provisioning for the CON course