My research work examines the security and privacy of large-scale distributed computer systems. Within this broad area, I am currently interested in the security and privacy of networked mobile devices, such as smartphones, tablets and laptops. I examine the security of the devices themselves as well as the security and privacy problems induced by the interaction between mobile devices and cloud-based Internet services. I approach this through the critical evaluation of existing products, by designing and building novel prototype technologies, and by measuring human behaviour.

1. Stephan A. Kollmann, Martin Kleppmann, Alastair R. Beresford, "Snapdoc: Authenticated snapshots with history privacy in peer-to-peer collaborative editing," Privacy Enhancing Technologies Sympoisum (PETS), Stockholm, Sweden, Jul 2019

2. Martin Kleppmann, Alastair R. Beresford, Boerge Svingen, "Online Event Processing: Achieving consistency where distributed transactions have failed," Communications of the ACM, vol. 62, no. 5, pp. 43-49, ACM, May 2019

3. Diana A. Vasile, Martin Kleppmann, Daniel R. Thomas, Alastair R. Beresford., "Ghost trace on the wire? Using key evidence for informed decisions," 27th International Workshop on Security Protocols, Apr 2019

4. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford., "Interleaving anomalies in collaborative text editors," 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019

5. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford, "OpSets: Sequential Specifications for Replicated Datatypes (Proof Document)," Technical Report, Archive of Formal Proofs, May 2018

6. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford, "OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)," Technical Report, arXiv:1805.04263, May 2018

7. Martin Kleppmann, Stephan A. Kollmann, Diana A. Vasile, Alastair R. Beresford, "From Secure Messaging to Secure Collaboration," 26th International Workshop on Security Protocols (SPW), Mar 2018

8. Daniel R. Thomas, Sergio Pastrana, Alice Hutchings, Richard Clayton, Alastair R. Beresford, "Ethical issues in research using datasets of illicit origin," Proceedings of the Internet Measurement Conference (IMC), London, UK, pp. 445-462, Nov 2017

9. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford, "Verifying Strong Eventual Consistency in Distributed Systems," Proceedings of the ACM on Programming Languages (PACMPL), vol. 1, no. OOPSLA, Oct 2017

10. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford, "A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes," Technical Report, Archive of Formal Proofs, Jul 2017

11. Daniel R. Thomas, Richard Clayton, Alastair R. Beresford, "1000 days of UDP amplification DDoS attacks," APWG Symposium on Electronic Crime Research (eCrime), Scottsdale, AZ, USA, IEEE, Apr 2017

12. Martin Kleppmann, Alastair R. Beresford, "A Conflict-Free Replicated JSON Datatype," IEEE Transactions on Parallel and Distributed Systems, Apr 2017

13. Daniel R. Thomas, Alastair R. Beresford, Andrew Rice, "Security metrics for the Android ecosystem," ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM), Denver, Colorado, USA, ACM, Oct 2015

14. Daniel R. Thomas, Alastair R. Beresford, Thomas Coudray, Tom Sutcliffe, Adrian Taylor, "The lifetime of Android API vulnerabilities: case study on the JavaScript-to-Java interface," Security Protocols XXIII, Cambridge, UK, series LNCS, Springer, Mar 2015

15. Daniel R. Thomas, Alastair R. Beresford, "Better authentication: Password revolution by evolution," Security Protocols XXII, Cambridge, UK, series LNCS, vol. 8809, pp. 130--145, Springer, Mar 2014

16. Alastair R. Beresford, Dorothea Kübler, Sören Preibusch, "Unwillingness to pay for privacy: A field experiment," Economics Letters, vol. 117, no. 1, pp. 25--27, 2012

17. Alastair R. Beresford, Andrew Rice, Nicholas Skehin, Ripduman Sohan, "MockDroid: trading privacy for application functionality on smartphones," Proceedings of the Twelfth Workshop on Mobile Computing Systems and Applications, Mar 2011

18. Daniel T. Wagner, Andrew Rice, Alastair R. Beresford, "Device Analyzer (Poster)," HotMobile 2011, Mar 2011

19. Daniel T. Wagner, Andrew Rice, Alastair R. Beresford, "Device Analyzer (Extended Abstract)," HotMobile 2011, Mar 2011

20. Andrei Bejan, Richard Gibbens, David Evans, Alastair Beresford, Jean Bacon, Adrian Friday, "Statistical Modelling and Analysis of Sparse Bus Probe Data in Urban Areas," Proceedings of the 13th IEEE Conference on Intelligent Transportation Systems, pp. 1256-1263, Sep 2010

21. Alastair Beresford, Soren Preibusch, Dorothea Kubler, "Unwillingness to Pay for Privacy: A Field Experiment," Technical Report, 5017, Institute for the Study of Labor (IZA), Jun 2010

22. David Evans, Jean Bacon, Alastair R. Beresford, Richard Gibbens, David Ingram, "Time for change," Intertraffic World, vol. 1, no. 1, pp. 52-56, Sep 2009

23. Andrew Rice, Paula Buttery, Idris A. Rai, Alastair Beresford, "Language learning on a next-generation service platform for Africa," Africa Perspective on the Role of Mobile Technologies in Fostering Social and Economic Development , W3C, Apr 2009

24. Simon Hay, Stamatina Th. Rassia, Alastair Beresford., "Estimating personal energy expenditure with location data," Proceedings of the First IEEE Workshop on Pervasive Healthcare (PerHealth 2010, in conjunction with PerCom 2010), Mannheim, Germany, 2009

25. Stamatina Th. Rassia, Simon Hay, Alastair Beresford, Nick Baker., "Movement dynamics in office environments," Proceedings of the 3rd CIB International Conference on Smart and Sustainable Built Environments (SASBE 2009), 2009

26. Andy Hopper, Andrew Rice, Alastair Beresford, "Computing for the future of the planet," Engineering Change: Towards a sustainable future in the developing world, pp. 73-78, Oct 2008

27. Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft, "Language-Based Optimisation of Sensor-Driven Distributed Computing Applications," 11th International Conference on Fundamental Approaches to Software Engineering (FASE 2008), series LNCS, vol. 4961, pp. 407-422, Springer-Verlag, Mar 2008

28. Jonathan J. Davies, Alastair R. Beresford, "Scalable Inter-Vehicular Applications," On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops (Part II), series LNCS, vol. 4806, pp. 876-885, Springer-Verlag, Nov 2007

29. David N. Cottingham, Alastair R. Beresford, Robert K. Harle, "A Survey of Technologies for the Implementation of National-Scale Road User Charging," Transport Reviews, vol. 27, no. 4, pp. 499-523, Taylor & Francis Group, Jul 2007

30. Jonathan J. Davies, Alastair R. Beresford, "Distributed, vehicular computation for map generation," 2007 Annual Meeting of the Association of American Geographers, Apr 2007

31. Joonwoong Kim, Alastair R. Beresford, Frank Stajano, "Towards a Security Policy for Ubiquitous Healthcare Systems," Proceedings of International Conference on Ubiquitous Convergence Technology (ICUCT 2006), series Lecture Notes in Computer Science, vol. 4412, pp. 263-272, Springer, Dec 2006

32. Andrew C. Rice, Robert K. Harle, Alastair R. Beresford, "Analysing fundamental properties of marker-based vision system designs," Pervasive and Mobile Computing , series Special Issue on PerCom 2006, vol. 2, no. 4, pp. 453-471, Elsevier, Nov 2006

33. Jonathan J. Davies, Alastair R. Beresford, Andy Hopper, "Scalable, Distributed, Real-Time Map Generation," IEEE Pervasive Computing, vol. 5, no. 4, pp. 47-54, IEEE, Oct 2006

34. Alastair R. Beresford, Jonathan J. Davies, Robert K. Harle, "Privacy-Sensitive Congestion Charging," 14th International Workshop on Security Protocols, series LNCS, vol. (in press), Springer-Verlag, Mar 2006

35. Andrew C. Rice, Alastair R. Beresford, "Dependability and Accountability for Context-aware Middleware Systems," 3rd Workshop on Middleware Support for Pervasive Computing (PerWare 2006), Mar 2006

36. Andrew C. Rice, Alastair R. Beresford, Robert K. Harle, "Cantag: an open source software toolkit for designing and deploying marker-based vision systems," Fourth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), pp. 12-21, Mar 2006

37. Robert Harle, Alastair Beresford, "Keeping Big Brother off the road," IEE Review, vol. 51, no. 10, pp. 34-37, Oct 2005

38. David N. Cottingham, Jonathan J. Davies, Alastair R. Beresford, "Congestion-Aware Vehicular Traffic Routing Using WiFi Hotspots," Communications Innovation Institute Workshop, Apr 2005

39. Alastair R. Beresford, "Location Privacy in Ubiquitous Computing," PhD thesis, Nov 2004

40. Kieran Mansley, Alastair R. Beresford, David Scott, "The Carrot Approach: Encouraging use of location systems," UbiComp, Springer, Sep 2004

41. Alastair R. Beresford, Frank Stajano, "Mix Zones: User privacy in location-aware services," Pervasive Computing and Communication Security (PerSec), pp. 127-131, IEEE, Mar 2004

42. David Scott, Alastair Beresford, Alan Mycroft, "Spatial Policies for Sentient Mobile Applications," IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp. 147-157, IEEE, Jun 2003

43. David Scott, Alastair Beresford, Alan Mycroft, "Spatial Security Policies for Mobile Agents in a Sentient Computing environment," Fundamental Approaches to Software Engineering (FASE) 2003, series Lecture Notes in Computer Science, vol. 2621, pp. 102-117, Springer-Verlag, Apr 2003

44. Alastair R. Beresford, Frank Stajano, "Location Privacy in Pervasive Computing," IEEE Pervasive Computing, vol. 2, no. 1, pp. 46-55, IEEE, Mar 2003

45. Alastair Beresford, Csaba Kiss Kallo, Ursula Kretschmer, Friedemann Mattern, Martin Muehlenbrock, "The First Summer School on Ubiquitous and Pervasive Computing," IEEE Pervasive Computing, vol. 2, no. 1, pp. 84-88, Mar 2003

46. R. M. Dennis, A. R. Beresford, K. M. Brown, " Virtual University Research Initiative on Mobility," BT Technology Journal, vol. 19, no. 1, pp. 12-18, 2001