@inproceedings{CDL11,
title = {Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience },
author = {Corbineau, Pierre and Duclos, Mathilde and Lakhnech, Yassine},
year = {2011},
booktitle = {Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
pages = {378-393},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7086},
team = {DCS,PACSS},
}
