L-PEP: A logic to reason about privacy-enhancing cryptography protocols

Almudena Alcaide*, Ali E. Abdallah, Ana I. González-Tablas, José M. De Fuentes

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'L-PEP: A logic to reason about privacy-enhancing cryptography protocols'. Together they form a unique fingerprint.

    Computer Science