93 citations · 173 across the 9 of their papers we have counts for
11 papers
Careful Whisper: Attestation for peer-to-peer Confidential Computing networks
Ceren Kocaoğullar, Gustavo Petri, Dominic P. Mulligan +4
Trusted Execution Environments (TEEs) are designed to protect the privacy and integrity of data in use. They enable secure data processing and sharing in peer-to-peer networks, suc…
KeyDroid: A Large-Scale Analysis of Secure Key Storage in Android Apps
Jenny Blessing, Ross J. Anderson, Alastair R. Beresford
Most contemporary mobile devices offer hardware-backed storage for cryptographic keys, user data, and other sensitive credentials. Such hardware protects credentials from extractio…
A Confidential Computing Transparency Framework for a Comprehensive Trust Chain
Ceren Kocaoğullar, Tina Marjanov, Ivan Petrov +5
Confidential Computing enhances privacy of data in-use through hardware-based Trusted Execution Environments (TEEs) that use attestation to verify their integrity, authenticity, an…
SoK: Web Authentication in the Age of End-to-End Encryption
Jenny Blessing, Daniel Hugenroth, Ross J. Anderson +1
The advent of end-to-end encrypted (E2EE) messaging and backup services has brought new challenges for usable authentication. Compared to regular web services, the nature of E2EE i…
ModZoo: A Large-Scale Study of Modded Android Apps and their Markets
Luis A. Saavedra, Hridoy S. Dutta, Alastair R. Beresford +1
We present the results of the first large-scale study into Android markets that offer modified or modded apps: apps whose features and functionality have been altered by a third-pa…
Pudding: Private User Discovery in Anonymity Networks
Ceren Kocaoğullar, Daniel Hugenroth, Martin Kleppmann +1
Anonymity networks allow messaging with metadata privacy, providing better privacy than popular encrypted messaging applications. However, contacting a user on an anonymity network…
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan +1
We introduce OpSets, an executable framework for specifying and reasoning about the semantics of replicated datatypes that provide eventual consistency in a distributed system, and…
Verifying Strong Eventual Consistency in Distributed Systems
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan +1
Data replication is used in distributed systems to maintain up-to-date copies of shared data across multiple computers in a network. However, despite decades of research, algorithm…
Intra-Library Collusion: A Potential Privacy Nightmare on Smartphones
Vincent F. Taylor, Alastair R. Beresford, Ivan Martinovic
Smartphones contain a trove of sensitive personal data including our location, who we talk to, our habits, and our interests. Smartphone users trade access to this data by permitti…
A Conflict-Free Replicated JSON Datatype
Martin Kleppmann, Alastair R. Beresford
Many applications model their data in a general-purpose storage format such as JSON. This data structure is modified by the application as a result of user input. Such modification…
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Alastair R. Beresford, Simon Gay
The Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) was co-located with ETAPS 2009 in the city of York,…