Marion Daubignard
According to our database1,
Marion Daubignard
authored at least 11 papers
between 2006 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016
2015
2014
Proceedings of the Principles of Security and Trust - Third International Conference, 2014
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
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012
2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
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