- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | 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 |
| 1 | Gilles Barthe | [1] |
| 2 | Santiago Zanella Béguelin | [1] |
| 3 | Benjamin Grégoire | [1] |