| |
| 2008 | ||
|---|---|---|
| 2 | EE | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Towards automated proofs for asymmetric encryption schemes in the random oracle model. ACM Conference on Computer and Communications Security 2008: 371-380 |
| 2006 | ||
| 1 | EE | Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. Formal Aspects in Security and Trust 2006: 47-64 |
| 1 | Judicaël Courant | [2] |
| 2 | Cristian Ene | [2] |
| 3 | Romain Janvier | [1] |
| 4 | Pascal Lafourcade | [2] |
| 5 | Yassine Lakhnech | [1] [2] |
| 6 | Laurent Mazaré | [1] |