Explore projects
-
Updated
-
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
SAT framework of "Bounds for the Security of Ascon against Differential and Linear Cryptanalysis" https://doi.org/10.46586/tosc.v2022.i1.64-87
Updated -
Code for the paper: "Riding the Waves Towards Generic Single-Cycle Masking in Hardware"
Updated