-
Publications
-
Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding with Relay Attackers (at Financial Crypto)
-
Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments (at AsiaCCS)
-
Security Analysis and Implementation of Relay-Resistant Contactless Payments (at CCS)
-
Precise and Mechanised Models and Proofs for Distance-Bounding (at CSF)
-
Practical EMV Relay Protection (at SnP/Oakland)
-
Who Pays Whom? Anonymous EMV-Compliant Contactless Payments (at USENIX Security)
-
More is Less: Extra Features in Contactless Payments Break Security (at USENIX Security)