Search

• < Previous
• 1
• Next >

---

Discovering ePassport Vulnerabilities using Bisimilarity

Ross Horne ; Sjouke Mauw.

We uncover privacy vulnerabilities in the ICAO 9303 standard implemented by ePassports worldwide. These vulnerabilities, confirmed by ICAO, enable an ePassport holder who recently passed through a checkpoint to be reidentified without opening their ePassport. This paper explains how bisimilarity was&nbsp;[&hellip;]

---

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic

Ki Yung Ahn ; Ross Horne ; Alwen Tiu.

Open bisimilarity is defined for open process terms in which free variables may appear. The insight is, in order to characterise open bisimilarity, we move to the setting of intuitionistic modal logics. The intuitionistic modal logic introduced, called $\mathcal{OM}$, is such that modalities are&nbsp;[&hellip;]

---

An Analytic Propositional Proof System on Graphs

Matteo Acclavio ; Ross Horne ; Lutz Straßburger.

In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-conditions and look at arbitrary undirected) graphs. This means that we lose the tree structure of the formulas&nbsp;[&hellip;]

---