Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy.

Hanane Houmani, Mohamed Mejri

Browse the full SECRYPT paper archive.