Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?

Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Takwa Omrani, Emil Pricop

Browse the full SMC paper archive.