research
∙
09/06/2023
Provably Unlinkable Smart Card-based Payments
The most prevalent smart card-based payment method, EMV, currently offer...
share
research
∙
01/21/2022
Modelling Agent-Skipping Attacks in Message Forwarding Protocols
Message forwarding protocols are protocols in which a chain of agents ha...
research
∙
05/05/2021
Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments
To address privacy problems with the EMV standard, EMVco proposed a Blin...
research
∙
03/12/2020
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
In recent years, smart contracts have suffered major exploits, costing m...
research
∙
02/18/2020
Discovering ePassport Vulnerabilities using Bisimilarity
We uncover privacy vulnerabilities in the ICAO 9303 standard implemented...
research
∙
08/31/2019
Publishing Community-Preserving Attributed Social Graphs with a Differential Privacy Guarantee
We present a novel method for publishing differentially private syntheti...
research
∙
12/27/2018