 | 2009 |
|---|
| 5 |       | 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 |
| 4 | | Gilles Barthe,
Benjamin Grégoire,
Santiago Zanella Béguelin:
Formal certification of code-based cryptographic proofs.
POPL 2009: 90-101 |
| 2008 |
|---|
| 3 | | 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 |
| 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 |
