| |
| 2007 | ||
|---|---|---|
| 2 | EE | Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur: Temporal Verification in Secure Group Communication System Design. SECURWARE 2007: 175-180 |
| 2005 | ||
| 1 | EE | Sara Mota, Benjamin Fontan: UML-based modeling and formal verification of security protocols. CoNEXT 2005: 282-283 |
| 1 | Benjamin Fontan | [1] [2] |
| 2 | Pierre de Saqui-Sannes | [2] |
| 3 | Thierry Villemur | [2] |