really intrigued by SAW for formal verification of existing code. http://saw.galois.com/tutorial.html #realworldcrypto
-
-
Replying to @bcrypt
@bcrypt@RichFelker Did they change the license? I've been wanting to use it but the only license I see in GitHub is Non-commercial-use.2 replies 0 retweets 0 likes -
Replying to @BRIAN_____
@BRIAN_____@bcrypt@RichFelker they said BSD today.1 reply 0 retweets 1 like
Replying to @BrianSniffen
@Brian_Sniffen @BRIAN_____ @bcrypt Link to the announcement?
12:24 PM - 6 Jan 2016
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.