L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols.

Almudena Alcaide, Ali E. Abdallah, Ana Isabel Gonzlez-Tablas Ferreres, Jos Mara de Fuentes

Browse the full ESORICS paper archive.