Marion Daubignard

	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

Coauthor Index

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]