 Provably Unlinkable Smart Card-based PaymentsConference on Computer and Communications Security (CCS), 2023 |
 Security Analysis of the Consumer Remote SIM Provisioning ProtocolACM Transactions on Privacy and Security (TOPS), 2022 |
 Automating Cryptographic Protocol Language Generation from Structured
SpecificationsFME Workshop on Formal Methods in Software Engineering (FFMSE), 2021 |
 Processes, Systems and Tests: Defining Contextual EquivalencesElectronic Proceedings in Theoretical Computer Science (EPTCS), 2020 |
 Decidable Inductive Invariants for Verification of Cryptographic
Protocols with Unbounded SessionsInternational Conference on Concurrency Theory (CONCUR), 2019 |
 The 5G-AKA Authentication Protocol PrivacyEuropean Symposium on Security and Privacy (EuroS&P), 2018 |
 |
