Skip to content

GitLab

Explore

Sign in

castle
tool
ascon_sat_bounds

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

Copy SSH clone URLgit@extgit.iaik.tugraz.at:castle/tool/ascon_sat_bounds.git
Copy HTTPS clone URLhttps://extgit.iaik.tugraz.at/castle/tool/ascon_sat_bounds.git