Marion Daubignard

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 2

Top Venues

CSF

IACR Cryptol. ePrint Arch.

AsiaCCS

POST

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Mickaël Salaün, Marion Daubignard, Hervé Debar
StemJail: Dynamic Role Compartmentalization. AsiaCCS (2016)
Ryad Benadjila, Thomas Calderon, Marion Daubignard
CamlCrush: A PKCS\#11 Filtering Proxy. IACR Cryptol. ePrint Arch. 2015 (2015)
Marion Daubignard, David Lubicz, Graham Steel
A Secure Key Management Interface with Asymmetric Cryptography. POST (2014)
Ryad Benadjila, Thomas Calderon, Marion Daubignard
Caml Crush: A PKCS#11 Filtering Proxy. CARDIS (2014)
Marion Daubignard, Pierre-Alain Fouque, Yassine Lakhnech
Generic Indifferentiability Proofs of Hash Designs. CSF (2012)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Automated Proofs for Asymmetric Encryption. J. Autom. Reason. 46 (3-4) (2011)
Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech
Computational indistinguishability logic. CCS (2010)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness (2010)
Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte
On the Equality of Probabilistic Terms. LPAR (Dakar) (2010)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Towards automated proofs for asymmetric encryption schemes in the random oracle model. CCS (2008)
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)

Marion Daubignard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marion Daubignard