dblp.uni-trier.dewww.uni-trier.de

Santiago Zanella Béguelin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
5EESantiago 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
4EEGilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin: Formal certification of code-based cryptographic proofs. POPL 2009: 90-101
2008
3EEGilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin: Formal Certification of ElGamal Encryption. Formal Aspects in Security and Trust 2008: 1-19
2006
2EESantiago 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
1EESantiago Zanella Béguelin: Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. CASSIS 2005: 155-173

Coauthor Index

1Gilles Barthe [3] [4] [5]
2Gustavo Betarte [2]
3Benjamin Grégoire [3] [4] [5]
4Sylvain Heraud [3]
5Carlos Luna [2]
6Federico Olmedo [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)