Marion Daubignard

	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

Coauthor Index

1	Gilles Barthe	[3] [5]
2	Judicaël Courant	[2] [4] [6]
3	Cristian Ene	[2] [4] [6]
4	Romain Janvier	[1]
5	Bruce M. Kapron	[3] [5]
6	Pascal Lafourcade	[2] [4] [6]
7	Yassine Lakhnech	[1] [2] [3] [4] [5] [6]
8	Vincent Laporte	[3]
9	Laurent Mazaré	[1]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page