Marion Daubignard

12 papers A* 2A 2C 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2016 A conf
StemJail: Dynamic Role Compartmentalization.
AsiaCCS
Mickaël Salaün, Marion Daubignard, Hervé Debar
2015 J jnl
CamlCrush: A PKCS\#11 Filtering Proxy.
IACR Cryptol. ePrint Arch.
Ryad Benadjila, Thomas Calderon, Marion Daubignard
2014 — conf
A Secure Key Management Interface with Asymmetric Cryptography.
POST
Marion Daubignard, David Lubicz, Graham Steel
2014 C conf
Caml Crush: A PKCS#11 Filtering Proxy.
CARDIS
Ryad Benadjila, Thomas Calderon, Marion Daubignard
2012 — —
Formalisation de preuves de sécurité concrète. (Formal Methods For Concrete Security Proofs).
Marion Daubignard
2012 A conf
Generic Indifferentiability Proofs of Hash Designs.
CSF
Marion Daubignard, Pierre-Alain Fouque, Yassine Lakhnech
2011 J jnl
Automated Proofs for Asymmetric Encryption.
J. Autom. Reason.
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2010 — conf
Automated Proofs for Asymmetric Encryption.
Concurrency, Compositionality, and Correctness
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2010 A* conf
Computational indistinguishability logic.
CCS
Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech
2010 — conf
On the Equality of Probabilistic Terms.
LPAR (Dakar)
Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte
2008 A* conf
Towards automated proofs for asymmetric encryption schemes in the random oracle model.
CCS
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2006 — conf
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.
Formal Aspects in Security and Trust
Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré