Explore projects

This project contains the material for the Verification and Testing practicals.

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

Repository containing the directory structure for LuB submissions.