Equivalence proofs with SAW Exploring formal verification (part 1) January 26, 2017 This is the first of a small series of posts that will scratch …| timtaubert.de
Verified binary multiplication for GHASH Exploring formal verification (part 3) June 29, 2017 Previously I introduced some very basic Cryptol and …| timtaubert.de