Marion Daubignard. Formalisation de preuves de sécurité concrète. (Formal Methods For Concrete Security Proofs). PhD thesis, Grenoble Alpes University, France, 2012. [doi]
@phdthesis{hal-3970, title = {Formalisation de preuves de sécurité concrète. (Formal Methods For Concrete Security Proofs)}, author = {Marion Daubignard}, year = {2012}, url = {https://tel.archives-ouvertes.fr/tel-00721776}, researchr = {https://researchr.org/publication/hal-3970}, cites = {0}, citedby = {0}, school = {Grenoble Alpes University, France}, }