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