Mathilde Duclos

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

Pierre Corbineau, Yassine Lakhnech, Mathilde Duclos, 2011, CPP.

Verification of Cryptographic Schemes in the Computational Model

Mathilde Duclos, M. Duclos, 2010 .

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, M. Duclos, 2016 .

A Computational Indistinguishability Logic for the Bounded Storage Model

Gilles Barthe, Yassine Lakhnech, Mathilde Duclos, 2011, FPS.

Survey on Electronic Voting Schemes

Pascal Lafourcade, Mathilde Duclos, P. Lafourcade, 2010 .