rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 1,743

  1. RT @galois: Part two: Formally verifying s2n's HMAC with Cryptol and SAW galois.com/blog/2016/09/specifying-hmac-in-cryptol/
    On twitter.com Twitter logo Retweet