Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience. - Pierre Corbineau; Mathilde Duclos; Yassine Lakhnech (CPP, 2011)

A Computational Indistinguishability Logic for the Bounded Storage Model. - Gilles Barthe; Mathilde Duclos; Yassine Lakhnech (FPS, 2011)

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 (2016)