Santiago Zanella Béguelin

	2012
13		Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin: Probabilistic relational reasoning for differential privacy. POPL 2012: 97-110
12		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin: Verified Indifferentiable Hashing into Elliptic Curves. POST 2012: 209-228
	2011
11		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin: Computer-Aided Security Proofs for the Working Cryptographer. CRYPTO 2011: 71-90
10		Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella Béguelin: Beyond Provable Security Verifiable IND-CCA Security of OAEP. CT-RSA 2011: 180-196
9		Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin: Verifiable Security of Boneh-Franklin Identity-Based Encryption. ProvSec 2011: 68-83
	2010
8		Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud: A Machine-Checked Formalization of Sigma-Protocols. CSF 2010: 246-260
7		Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin: Programming Language Techniques for Cryptographic Proofs. ITP 2010: 115-130
	2009
6		Santiago Zanella Béguelin, Gilles Barthe, Benjamin Grégoire, Federico Olmedo: Formally Certifying the Security of Digital Signature Schemes. IEEE Symposium on Security and Privacy 2009: 237-250
5		Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin: Formal certification of code-based cryptographic proofs. POPL 2009: 90-101
	2008
4		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin: Formal Certification of ElGamal Encryption. Formal Aspects in Security and Trust 2008: 1-19
	2007
3		Gilles Barthe, Benjamin Grégoire, Romain Janvier, Santiago Zanella Béguelin: Formal Certification of Code-Based Cryptographic Proofs. IACR Cryptology ePrint Archive 2007: 314 (2007)
	2006
2		Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna: A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust 2006: 220-234
	2005
1		Santiago Zanella Béguelin: Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. CASSIS 2005: 155-173

Coauthor Index

1	Gilles Barthe	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
2	Gustavo Betarte	[2]
3	Benjamin Grégoire	[3] [4] [5] [6] [7] [8] [10] [11] [12]
4	Daniel Hedin	[8]
5	Sylvain Heraud	[4] [8] [11] [12]
6	Romain Janvier	[3]
7	Boris Köpf	[13]
8	Yassine Lakhnech	[10]
9	Carlos Daniel Luna (Carlos Luna)	[2]
10	Federico Olmedo	[6] [9] [12] [13]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page