Local de publicação venue para
- Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. 488-500. 2012
- A Fast and Verified Software Stack for Secure Function Evaluation 2017
- Jasmin: High-Assurance and High-Speed Cryptography 2017
- Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations 2013