Proving properties of constant-time crypto code in SPARKNaCl (Ada) (2020)blog.adacore.com10 points·johnisgood··0 commentsOpen articleSaveView on HN