|
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