Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. - Marion Daubignard; Romain Janvier; Yassine Lakhnech; Laurent Mazaré (Formal Aspects in Security and Trust, 2006)

Towards automated proofs for asymmetric encryption schemes in the random oracle model. - Judicaël Courant; Marion Daubignard; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (CCS, 2008)

Computational indistinguishability logic. - Gilles Barthe; Marion Daubignard; Bruce M. Kapron; Yassine Lakhnech (CCS, 2010)

On the Equality of Probabilistic Terms. - Gilles Barthe; Marion Daubignard; Bruce M. Kapron; Yassine Lakhnech; Vincent Laporte (LPAR (Dakar), 2010)

Automated Proofs for Asymmetric Encryption. - Judicaël Courant; Marion Daubignard; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (J. Autom. Reason., 2011)

Generic Indifferentiability Proofs of Hash Designs. - Marion Daubignard; Pierre-Alain Fouque; Yassine Lakhnech (CSF, 2012)

Formalisation de preuves de sécurité concrète. (Formal Methods For Concrete Security Proofs). - Marion Daubignard (2012)

Caml Crush: A PKCS#11 Filtering Proxy. - Ryad Benadjila; Thomas Calderon 002; Marion Daubignard (CARDIS, 2014)

A Secure Key Management Interface with Asymmetric Cryptography. - Marion Daubignard; David Lubicz; Graham Steel (POST, 2014)

CamlCrush: A PKCS #11 Filtering Proxy. - Ryad Benadjila; Thomas Calderon 002; Marion Daubignard (IACR Cryptol. ePrint Arch., 2015)

StemJail: Dynamic Role Compartmentalization. - Mickaël Salaün; Marion Daubignard; Hervé Debar (AsiaCCS, 2016)