ascon_sat_bounds

Project information

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

10 Commits
1 Branch
0 Tags

README
MIT License

Created on

February 14, 2022

Loading