Formal reasoning on authentication in security protocols.

Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Emil Pricop

Browse the full SMC paper archive.