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

Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech

Browse the full CPP paper archive.