Marion Daubignard

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
StemJail: Dynamic Role Compartmentalization.
Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

2015
CamlCrush: A PKCS\#11 Filtering Proxy.
IACR Cryptol. ePrint Arch., 2015

2014
A Secure Key Management Interface with Asymmetric Cryptography.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Caml Crush: A PKCS#11 Filtering Proxy.
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).
PhD thesis, 2012

Generic Indifferentiability Proofs of Hash Designs.
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011
Automated Proofs for Asymmetric Encryption.
J. Autom. Reason., 2011

2010
On the Equality of Probabilistic Terms.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Computational indistinguishability logic.
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.
Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2006
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.
Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006


  Loading...