Alastair R. Beresford

104 papers A* 9A 3B 8C 1Misc 3Journal 36Unranked 38

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	App-solutely Modded: Surveying Modded App Market Operators and Original App Developers. AsiaCCS Luis Adan Saavedra, Hridoy Sankar Dutta, Alastair R. Beresford, Alice Hutchings
2025	J	`jnl`	Attestable Audits: Verifiable AI Safety Benchmarks Using Trusted Execution Environments. CoRR Christoph Schnabl, Daniel Hugenroth, Bill Marino, Alastair R. Beresford
2025	A*	`conf`	Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments. CCS Daniel Hugenroth, Mario Lins, René Mayrhofer, Alastair R. Beresford
2025	J	`jnl`	Attestable builds: compiling verifiable binaries on untrusted systems using trusted execution environments. CoRR Daniel Hugenroth, Mario Lins, René Mayrhofer, Alastair R. Beresford
2025	J	`jnl`	Careful Whisper: Attestation for peer-to-peer Confidential Computing networks. CoRR Ceren Kocaogullar, Gustavo Petri, Dominic P. Mulligan, Derek Miller, Hugo J. M. Vincent, Shale Xiong, Alastair R. Beresford
2025	—	`ed.`	Cryptology and Network Security - 23rd International Conference, CANS 2024, Cambridge, UK, September 24-27, 2024, Proceedings, Part I CANS (1) Markulf Kohlweiss, Roberto Di Pietro, Alastair R. Beresford
2025	—	`ed.`	Cryptology and Network Security - 23rd International Conference, CANS 2024, Cambridge, UK, September 24-27, 2024, Proceedings, Part II CANS (2) Markulf Kohlweiss, Roberto Di Pietro, Alastair R. Beresford
2025	J	`jnl`	KeyDroid: A Large-Scale Analysis of Secure Key Storage in Android Apps. CoRR Jenny Blessing, Ross J. Anderson, Alastair R. Beresford
2025	J	`jnl`	SoK: Web Authentication and Recovery in the Age of End-to-End Encryption. Proc. Priv. Enhancing Technol. Jenny Blessing, Daniel Hugenroth, Ross J. Anderson, Alastair R. Beresford
2024	J	`jnl`	Confidential Computing Transparency. CoRR Ceren Kocaogullar, Tina Marjanov, Ivan Petrov, Ben Laurie, Al Cutter, Christoph Kern, Alice Hutchings, Alastair R. Beresford
2024	—	`conf`	ModZoo: A Large-Scale Study of Modded Android Apps and Their Markets. eCrime Luis Adan Saavedra, Hridoy Sankar Dutta, Alastair R. Beresford, Alice Hutchings
2024	J	`jnl`	ModZoo: A Large-Scale Study of Modded Android Apps and their Markets. CoRR Luis Adan Saavedra, Hridoy Sankar Dutta, Alastair R. Beresford, Alice Hutchings
2024	A*	`conf`	Pudding: Private User Discovery in Anonymity Networks. SP Ceren Kocaogullar, Daniel Hugenroth, Martin Kleppmann, Alastair R. Beresford
2024	J	`jnl`	Sloth: Key Stretching and Deniable Encryption using Secure Elements on Smartphones. Proc. Priv. Enhancing Technol. Daniel Hugenroth, Alberto Sonnino, Sam Cutler, Alastair R. Beresford
2024	J	`jnl`	SoK: Web Authentication in the Age of End-to-End Encryption. CoRR Jenny Blessing, Daniel Hugenroth, Ross J. Anderson, Alastair R. Beresford
2023	—	`conf`	Can't Keep Them Away: The Failures of Anti-stalking Protocols in Personal Item Tracking Devices. Security Protocols Workshop Kieron Ivy Turk, Alice Hutchings, Alastair R. Beresford
2023	—	`conf`	Choosing Your Friends: Shaping Ethical Use of Anonymity Networks. Security Protocols Workshop Daniel Hugenroth, Ceren Kocaogullar, Alastair R. Beresford
2023	—	`conf`	Mobile App Distribution Transparency (MADT): Design and Evaluation of a System to Mitigate Necessary Trust in Mobile App Distribution Systems. NordSec Mario Lins, René Mayrhofer, Michael Roland, Alastair R. Beresford
2023	A*	`conf`	Powering Privacy: On the Energy Demand and Feasibility of Anonymity Networks on Smartphones. USENIX Security Symposium Daniel Hugenroth, Alastair R. Beresford
2023	J	`jnl`	Pudding: Private User Discovery in Anonymity Networks. CoRR Ceren Kocaogullar, Daniel Hugenroth, Martin Kleppmann, Alastair R. Beresford
2023	J	`jnl`	Sloth: Key Stretching and Deniable Encryption using Secure Elements on Smartphones. IACR Cryptol. ePrint Arch. Daniel Hugenroth, Alberto Sonnino, Sam Cutler, Alastair R. Beresford
2023	J	`jnl`	SoK: Managing risks of linkage attacks on data privacy. Proc. Priv. Enhancing Technol. Jovan Powar, Alastair R. Beresford
2022	J	`jnl`	A Highly-Available Move Operation for Replicated Trees. IEEE Trans. Parallel Distributed Syst. Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes, Alastair R. Beresford
2022	B	`conf`	ACDC: Anonymous Crowdsourcing Using Digital Cash. CANS Luis Adan Saavedra, Alastair R. Beresford
2022	J	`jnl`	CoverDrop: Blowing the Whistle Through A News App. Proc. Priv. Enhancing Technol. Mansoor Ahmed-Rengers, Diana A. Vasile, Daniel Hugenroth, Alastair R. Beresford, Ross Anderson
2022	B	`ed.`	Cryptology and Network Security - 21st International Conference, CANS 2022, Dubai, United Arab Emirates, November 13-16, 2022, Proceedings CANS Alastair R. Beresford, Arpita Patra, Emanuele Bellini
2022	A*	`conf`	Effect of User Expectation on Mobile App Privacy: A Field Study. PerCom Ricardo Mendes, André Brandão, João P. Vilela, Alastair R. Beresford
2022	—	`conf`	Enhancing User Privacy in Mobile Devices Through Prediction of Privacy Preferences. ESORICS (1) Ricardo Mendes, Mariana Cunha, João P. Vilela, Alastair R. Beresford
2021	J	`jnl`	Factory Calibration Fingerprinting of Sensors. IEEE Trans. Inf. Forensics Secur. Jiexin Zhang, Alastair R. Beresford, Ian Sheret
2021	A*	`conf`	Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees. CCS Matthew Weidner, Martin Kleppmann, Daniel Hugenroth, Alastair R. Beresford
2021	A*	`conf`	Rollercoaster: An Efficient Group-Multicast Scheme for Mix Networks. USENIX Security Symposium Daniel Hugenroth, Martin Kleppmann, Alastair R. Beresford
2020	—	`conf`	CHERI Macaroons: Efficient, host-based access control for cyber-physical systems. EuroS&P Workshops Michael Dodson, Alastair R. Beresford, Alexander Richardson, Jessica Clarke, Robert N. M. Watson
2020	J	`jnl`	Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees. IACR Cryptol. ePrint Arch. Matthew Weidner, Martin Kleppmann, Daniel Hugenroth, Alastair R. Beresford
2020	—	`conf`	Using Global Honeypot Networks to Detect Targeted ICS Attacks. CyCon Michael Dodson, Alastair R. Beresford, Mikael Vingaard
2020	—	`conf`	When will my PLC support Mirai? The security economics of large-scale attacks against Internet-connected ICS devices. eCrime Michael Dodson, Alastair R. Beresford, Daniel R. Thomas
2019	—	`conf`	A Data Sharing Platform for Earables Research. EarComp@UbiComp Jovan Powar, Alastair R. Beresford
2019	—	`conf`	Ghost Trace on the Wire? Using Key Evidence for Informed Decisions. Security Protocols Workshop Diana A. Vasile, Martin Kleppmann, Daniel R. Thomas, Alastair R. Beresford
2019	B	`conf`	Inequality: multi-modal equation entry on the web. L@S Andrea Franceschini, James P. Sharkey, Alastair R. Beresford
2019	—	`conf`	Interleaving anomalies in collaborative text editors. PaPoC@EuroSys Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
2019	A	`conf`	LibID: reliable identification of obfuscated third-party Android libraries. ISSTA Jiexin Zhang, Alastair R. Beresford, Stephan A. Kollmann
2019	J	`jnl`	Online Event Processing. ACM Queue Martin Kleppmann, Alastair R. Beresford, Boerge Svingen
2019	J	`jnl`	Online event processing. Commun. ACM Martin Kleppmann, Alastair R. Beresford, Boerge Svingen
2019	—	`ed.`	Proceedings of the 1st International Workshop on Earable Computing, EarComp@UbiComp 2019, London, UK, September 10, 2019 EarComp@UbiComp Fahim Kawsar, Alastair R. Beresford
2019	A*	`conf`	SensorID: Sensor Calibration Fingerprinting for Smartphones. IEEE Symposium on Security and Privacy Jiexin Zhang, Alastair R. Beresford, Ian Sheret
2019	J	`jnl`	Snapdoc: Authenticated snapshots with history privacy in peer-to-peer collaborative editing. Proc. Priv. Enhancing Technol. Stephan A. Kollmann, Martin Kleppmann, Alastair R. Beresford
2018	—	`conf`	From Secure Messaging to Secure Collaboration. Security Protocols Workshop Martin Kleppmann, Stephan A. Kollmann, Diana A. Vasile, Alastair R. Beresford
2018	J	`jnl`	OpSets: Sequential Specifications for Replicated Datatypes (Extended Version). CoRR Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
2018	J	`jnl`	OpSets: Sequential Specifications for Replicated Datatypes. Arch. Formal Proofs Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
2018	J	`jnl`	Quantifying Privacy Loss of Human Mobility Graph Topology. Proc. Priv. Enhancing Technol. Dionysis Manousakas, Cecilia Mascolo, Alastair R. Beresford, Dennis Chan, Nikhil Sharma
2018	J	`jnl`	The Specter of Malicious Computing: Securing the Internet of Things. IEEE Pervasive Comput. Alastair R. Beresford, Cecilia Mascolo, Marco Gruteser
2017	—	`conf`	1000 days of UDP amplification DDoS attacks. eCrime Daniel R. Thomas, Richard Clayton, Alastair R. Beresford
2017	J	`jnl`	A Conflict-Free Replicated JSON Datatype. IEEE Trans. Parallel Distributed Syst. Martin Kleppmann, Alastair R. Beresford
2017	J	`jnl`	A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes. Arch. Formal Proofs Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
2017	A*	`conf`	Demand Around the Clock: Time Use and Data Demand of Mobile Devices in Everyday Life. CHI Kelly Widdicks, Oliver Bates, Mike Hazas, Adrian Friday, Alastair R. Beresford
2017	A	`conf`	Ethical issues in research using datasets of illicit origin. Internet Measurement Conference Daniel R. Thomas, Sergio Pastrana, Alice Hutchings, Richard Clayton, Alastair R. Beresford
2017	J	`jnl`	Intra-Library Collusion: A Potential Privacy Nightmare on Smartphones. CoRR Vincent F. Taylor, Alastair R. Beresford, Ivan Martinovic
2017	—	`conf`	The Cost of Push Notifications for Smartphones Using Tor Hidden Services. EuroS&P Workshops Stephan A. Kollmann, Alastair R. Beresford
2017	—	`conf`	There are many apps for that: quantifying the availability of privacy-preserving apps. WISEC Vincent F. Taylor, Alastair R. Beresford, Ivan Martinovic
2017	J	`jnl`	Verifying Strong Eventual Consistency in Distributed Systems. CoRR Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
2017	J	`jnl`	Verifying strong eventual consistency in distributed systems. Proc. ACM Program. Lang. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
2016	J	`jnl`	A Conflict-Free Replicated JSON Datatype. CoRR Martin Kleppmann, Alastair R. Beresford
2016	J	`jnl`	Investigating Engagement with In-Video Quiz Questions in a Programming Course. IEEE Trans. Learn. Technol. Stephen Cummins, Alastair R. Beresford, Andrew C. Rice
2016	B	`conf`	Investigating the Use of Hints in Online Problem Solving. L@S Stephen Cummins, Alistair Stead, Lisa Jardine-Wright, Ian Davies, Alastair R. Beresford, Andrew C. Rice
2016	Misc	`conf`	Reconstruction of Battery Level Curves Based on User Data Collected from a Smartphone. AIMSA Franck Gechter, Alastair R. Beresford, Andrew C. Rice
2016	B	`conf`	Supporting Scalable Data Sharing in Online Education. L@S Stephen Cummins, Alastair R. Beresford, Ian Davies, Andrew C. Rice
2016	—	`conf`	Whack-A-Mole Security: Incentivising the Production, Delivery and Installation of Security Updates (invited paper). IMPS@ESSoS Alastair R. Beresford
2015	—	`conf`	Device analyzer: a privacy-aware platform to support research on the Android ecosystem. WISEC Daniel T. Wagner, Daniel R. Thomas, Alastair R. Beresford, Andrew C. Rice
2015	B	`conf`	Equality: A Tool for Free-form Equation Editing. ICALT Stephen Cummins, Ian Davies, Andrew C. Rice, Alastair R. Beresford
2015	—	`conf`	Securacy: an empirical investigation of Android applications' network usage, privacy and security. WISEC Denzil Ferreira, Vassilis Kostakos, Alastair R. Beresford, Janne Lindqvist, Anind K. Dey
2015	—	`conf`	Security Metrics for the Android Ecosystem. SPSM@CCS Daniel R. Thomas, Alastair R. Beresford, Andrew C. Rice
2015	—	`conf`	The Lifetime of Android API Vulnerabilities: Case Study on the JavaScript-to-Java Interface. Security Protocols Workshop Daniel R. Thomas, Alastair R. Beresford, Thomas Coudray, Tom Sutcliffe, Adrian Taylor
2014	—	`conf`	Better Authentication: Password Revolution by Evolution. Security Protocols Workshop Daniel R. Thomas, Alastair R. Beresford
2014	J	`jnl`	Device analyzer: largescale mobile data collection. SIGMETRICS Perform. Evaluation Rev. Daniel T. Wagner, Andrew C. Rice, Alastair R. Beresford
2014	—	`conf`	The device analyzer competition. UbiComp Adjunct Andrew C. Rice, Alastair R. Beresford
2013	C	`conf`	Device Analyzer: Understanding Smartphone Usage. MobiQuitous Daniel T. Wagner, Andrew Colin Rice, Alastair R. Beresford
2013	J	`jnl`	Price versus privacy: an experiment into the competitive advantage of collecting less personal information. Electron. Commer. Res. Sören Preibusch, Dorothea Kübler, Alastair R. Beresford
2013	—	`ch.`	The Privacy Economics of Voluntary Over-disclosure in Web Forms. The Economics of Information Security and Privacy Sören Preibusch, Kat Krol, Alastair R. Beresford
2012	—	`conf`	The Privacy Economics of Voluntary Over-disclosure in Web Forms. WEIS Sören Preibusch, Kat Krol, Alastair R. Beresford
2011	Misc	`conf`	MockDroid: trading privacy for application functionality on smartphones. HotMobile Alastair R. Beresford, Andrew C. Rice, Nicholas Skehin, Ripduman Sohan
2011	—	`conf`	Using Real-Time Road Traffic Data to Evaluate Congestion. Dependable and Historic Computing Jean Bacon, Andrei Iu. Bejan, Alastair R. Beresford, David Evans, Richard J. Gibbens, Ken Moody
2010	—	`conf`	Estimating Personal Energy expenditure with location data. PerCom Workshops Simon Hay, S. T. Rassia, Alastair R. Beresford
2010	—	`conf`	Statistical modelling and analysis of sparse bus probe data in urban areas. ITSC Andrei Iu. Bejan, Richard J. Gibbens, David Evans, Alastair R. Beresford, Jean Bacon, Adrian Friday
2009	—	`conf`	Establishing Distributed Hidden Friendship Relations. Security Protocols Workshop Sören Preibusch, Alastair R. Beresford
2009	—	`ed.`	Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009. PLACES Alastair R. Beresford, Simon J. Gay
2008	—	`ch.`	Data Privacy. Wiley Encyclopedia of Computer Science and Engineering Alastair R. Beresford, David J. Scott
2008	B	`conf`	Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. FASE Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft
2008	—	`conf`	TIME: An Open Platform for Capturing, Processing and Delivering Transport-Related Data. CCNC Jean Bacon, Alastair R. Beresford, David Evans, David Ingram, Niki Trigoni, Alexandre Guitton, Antonios Skordylis
2007	—	`conf`	Context-Derived Pseudonyms for Protection of Privacy in Transport Middleware and Applications. PerCom Workshops David Evans, Alastair R. Beresford, Trevor Burbridge, Andrea Soppera
2007	—	`conf`	Scalable Inter-vehicular Applications. OTM Workshops (2) Jonathan J. Davies, Alastair R. Beresford
2006	J	`jnl`	Analysing fundamental properties of marker-based vision system designs. Pervasive Mob. Comput. Andrew C. Rice, Robert K. Harle, Alastair R. Beresford
2006	A*	`conf`	Cantag: an open source software toolkit for designing and deploying marker-based vision systems. PerCom Andrew C. Rice, Alastair R. Beresford, Robert K. Harle
2006	—	`conf`	Dependability and Accountability for Context-aware Middleware Systems. PerCom Workshops Andrew C. Rice, Alastair R. Beresford
2006	J	`jnl`	Intelligent Transportation Systems. IEEE Pervasive Comput. Anthony D. Joseph, Alastair R. Beresford, Jean Bacon, David Naveen Cottingham, Jonathan J. Davies, Brian D. Jones, Haitao Guo, Wei Guan, Yong Lin, Houbing Song, Liviu Iftode, Simone Fuchs, Bernhard Lamprecht, Kyandoghere Kyamakya, Jorge González Fernández, Juan Carlos Yelmo García, Yod Samuel Martín García, Jorge de Gracia Santos, Milind Nimesh, Gang Pan, Zhaohui Wu, Qing Wu, Zhenyu Shan, Jie Sun, Jian Lu, Guoqing Yang, Muhammad Khurram Khan, Jiashu Zhang
2006	—	`conf`	Privacy-Sensitive Congestion Charging. Security Protocols Workshop Alastair R. Beresford
2006	—	`conf`	Privacy-Sensitive Congestion Charging. Security Protocols Workshop Alastair R. Beresford, Jonathan J. Davies, Robert K. Harle
2006	J	`jnl`	Scalable, Distributed, Real-Time Map Generation. IEEE Pervasive Comput. Jonathan J. Davies, Alastair R. Beresford, Andy Hopper
2006	—	`conf`	Secure Mobile Computing Via Public Terminals. Pervasive Richard Sharp, James Scott, Alastair R. Beresford
2006	—	`conf`	Towards a Security Policy for Ubiquitous Healthcare Systems (Position Paper). ICUCT Joonwoong Kim, Alastair R. Beresford, Frank Stajano
2005	—	`conf`	Trove: a physical game running on an ad-hoc wireless sensor network. sOc-EUSAI Sarah Mount, Elena I. Gaura, Robert M. Newman, Alastair R. Beresford, Sam R. Dolan, Michael Allen
2004	—	`conf`	Mix Zones: User Privacy in Location-aware Services. PerCom Workshops Alastair R. Beresford, Frank Stajano
2004	Misc	`conf`	The Carrot Approach: Encouraging Use of Location Systems. UbiComp Kieran Mansley, Alastair R. Beresford, David J. Scott
2003	J	`jnl`	Location Privacy in Pervasive Computing. IEEE Pervasive Comput. Alastair R. Beresford, Frank Stajano
2003	—	`conf`	Spatial Policies for Sentient Mobile Applications. POLICY David J. Scott, Alastair R. Beresford, Alan Mycroft
2003	B	`conf`	Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. FASE David J. Scott, Alastair R. Beresford, Alan Mycroft