#infosec still seems in its infancy to me.
We have building codes for houses and cars, but not for critical software. cc @BetterCrypto
-
-
"
@bascule:@taoeffect did you check out my Rust Crypto slides/talk? https://speakerdeck.com/tarcieri/thoughts-on-rust-cryptography …” I did, and more folks should read them!
-
@taoeffect I hope in the future people will make language to prove properties about Rust programs ala F7: http://www.ieee-security.org/TC/SP2013/papers/4977a445.pdf …
End of conversation
New conversation -
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.