Pinboard (jm)
https://pinboard.in/u:jm/public/
recent bookmarks from jm
-
Excellent Twitter thread from colmmacc on how s2n avoids protocol-state errors
2018-10-19T13:19:47+00:00
https://twitter.com/colmmacc/status/1053031892734242817
jm
cryptol saw formal-verification twitter threads colmmacc security s2n
https://pinboard.in/
https://pinboard.in/u:jm/b:3012492b37c7/