Explore projects

Assignment for AKDV 2016: writing theory solvers in the SMT4J framework.

A Mirror of the Cpp Linenoise on GitHub.

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

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