| |
| 2007 | ||
|---|---|---|
| 3 | EE | Reynald Affeldt, Miki Tanaka, Nicolas Marti: Formal Proof of Provable Security by Game-Playing in a Proof Assistant. ProvSec 2007: 151-168 |
| 2006 | ||
| 2 | EE | Reynald Affeldt, Nicolas Marti: An Approach to Formal Verification of Arithmetic Functions in Assembly. ASIAN 2006: 346-360 |
| 1 | EE | Nicolas Marti, Reynald Affeldt, Akinori Yonezawa: Formal Verification of the Heap Manager of an Operating System Using Separation Logic. ICFEM 2006: 400-419 |
| 1 | Reynald Affeldt | [1] [2] [3] |
| 2 | Miki Tanaka | [3] |
| 3 | Akinori Yonezawa | [1] |