Proving properties of constant-time crypto code in SPARKNaCl (Ada) (2020) (blog.adacore.com) 10 points by johnisgood 4y ago ↗ HN
0 comments
[ 1.7 ms ] story [ 14.3 ms ] threadNo comments yet.