Tracking Security Flaws in Cryptographic Protocols Using Witness-Functions.

Jaouhar Fattahi, Mohamed Mejri, Emil Pricop

Browse the full SMC paper archive.