Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marion Daubignard
2010 – today
- 2012
[c6]Marion Daubignard, Pierre-Alain Fouque, Yassine Lakhnech: Generic Indifferentiability Proofs of Hash Designs. CSF 2012: 340-353- 2011
- [j1]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
- [c5]Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness 2010: 300-321
- [c4]Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech: Computational indistinguishability logic. ACM Conference on Computer and Communications Security 2010: 375-386
- [c3]Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte: On the Equality of Probabilistic Terms. LPAR (Dakar) 2010: 46-63
2000 – 2009
- 2008
- [c2]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
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:26 CET by the dblp team