• What's new
• Archive
• Best Papers
• Videos
• Authors
• Coauthors
• By year
• By conference
• All Committees
• Most Committees
• Report errors
• Maps
• About

Santiago Zanella-Béguelin  Search web for home page

Publications

	year	title	booktitle	pages
1	2011	Computer-Aided Security Proofs for the Working Cryptographer	crypto	71
2	2007	Formal Certification of Code-Based Cryptographic Proofs	eprint	online