Linking pages
- Auditing Rust Crypto: The First Hours – Kudelski Security Research https://research.kudelskisecurity.com/2019/02/07/auditing-rust-crypto-the-first-hours/ 96 comments
- CREAM: the scary SSL attack you’ve probably never heard of http://tonyarcieri.com/cream-the-scary-ssl-attack-youve-probably-never-heard-of 48 comments
- GitHub - iSECPartners/LibTech-Auditing-Cheatsheet https://github.com/iSECPartners/LibTech-Auditing-Cheatsheet 0 comments
- Equivalence proofs with SAW - Exploring formal verification (part 1) https://timtaubert.de/blog/2017/01/equivalence-proofs-with-saw/ 0 comments