 | 2011 |
| 6 |  | Judicaël Courant,
Marion Daubignard,
Cristian Ene,
Pascal Lafourcade,
Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption.
J. Autom. Reasoning 46(3-4): 261-291 (2011) |
| 2010 |
| 5 |  | Gilles Barthe,
Marion Daubignard,
Bruce M. Kapron,
Yassine Lakhnech:
Computational indistinguishability logic.
ACM Conference on Computer and Communications Security 2010: 375-386 |
| 4 |  | Judicaël Courant,
Marion Daubignard,
Cristian Ene,
Pascal Lafourcade,
Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption.
Concurrency, Compositionality, and Correctness 2010: 300-321 |
| 3 |  | Gilles Barthe,
Marion Daubignard,
Bruce M. Kapron,
Yassine Lakhnech,
Vincent Laporte:
On the Equality of Probabilistic Terms.
LPAR (Dakar) 2010: 46-63 |
| 2008 |
| 2 |  | 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 |  | 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 |