research
∙
09/06/2023
Provably Unlinkable Smart Card-based Payments
The most prevalent smart card-based payment method, EMV, currently offer...
share
research
∙
04/13/2023
A Logical Account of Subtyping for Session Types
We study the notion of subtyping for session types in a logical setting,...
research
∙
10/15/2022
Assessing the Solid Protocol in Relation to Security Privacy Obligations
The Solid specification aims to empower data subjects by giving them dir...
research
∙
09/06/2022
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus
This paper shows how we can make use of an asynchronous transition syste...
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
∙
04/29/2021
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
We investigate how different fairness assumptions affect results concern...
research
∙
12/02/2020
An Analytic Propositional Proof System on Graphs
In this paper we present a proof system that operates on graphs instead ...
research
∙
02/18/2020
Discovering ePassport Vulnerabilities using Bisimilarity
We uncover privacy vulnerabilities in the ICAO 9303 standard implemented...
research
∙
11/06/2018