Marion Daubignard

According to our database, Marion Daubignard authored at least 11 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

StemJail: Dynamic Role Compartmentalization.

Mickaël Salaün, Marion Daubignard, Hervé Debar

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

2015

CamlCrush: A PKCS\#11 Filtering Proxy.

Ryad Benadjila, Thomas Calderon, Marion Daubignard

IACR Cryptol. ePrint Arch., 2015

2014

A Secure Key Management Interface with Asymmetric Cryptography.

Marion Daubignard, David Lubicz, Graham Steel

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Caml Crush: A PKCS#11 Filtering Proxy.

Ryad Benadjila, Thomas Calderon, Marion Daubignard

Proceedings of the Smart Card Research and Advanced Applications, 2014

2012

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

Marion Daubignard

PhD thesis, 2012

Generic Indifferentiability Proofs of Hash Designs.

Marion Daubignard, Pierre-Alain Fouque, Yassine Lakhnech

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Automated Proofs for Asymmetric Encryption.

Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

J. Autom. Reason., 2011

2010

On the Equality of Probabilistic Terms.

Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Computational indistinguishability logic.

Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2008

Towards automated proofs for asymmetric encryption schemes in the random oracle model.

Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2006

Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.

Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006