Mathilde Duclos

According to our database, Mathilde Duclos authored at least 3 papers between 2011 and 2016.

Collaborative distances:

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

2016

Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire. (Methods for cryptographic protocols verification in the computational model).

Mathilde Duclos

PhD thesis, 2016

2011

A Computational Indistinguishability Logic for the Bounded Storage Model.

Gilles Barthe, Mathilde Duclos, Yassine Lakhnech

Proceedings of the Foundations and Practice of Security, 2011

Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience.

Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech

Proceedings of the Certified Programs and Proofs - First International Conference, 2011