Twenty-eighth International Workshop on Security Protocols

Trinity College, Cambridge, UK – 27-28 March 2023

Workshop Schedule

All in the Old Combination Room (OCR) and in Trinity College unless otherwise noted. Presenters in boldface.

Monday 27 April 2023

08:30: Registration, pseudo-breakfast, mingling

09:00: Start of workshop

  • Rules of the game (recordings, transcripts etc) and self-introductions

  • Frank Stajano: “Sleepwalking into disaster? Requirements engineering for digital cash”

1030-1100: Tea and coffee

  • Bruce Christianson and Alex Shafarenko: “Transporting a Secret using Destructively-Read memory”

  • Agata Kruzikova, Vashek Matyas and Milan Broz: “Authentication of IT Professionals in the Wild - A Survey”

1230-1330: Lunch (The Old Kitchen)

  • Harry Halpin and Andrei Serjantov: “Incentives and Censorship Resistance for Mixnets Revisited”

  • Kieron Ivy Turk, Alice Hutchings and Alastair R. Beresford: “Can’t Keep Them Away: The Failures of Anti-Stalking Protocols in Personal Item Tracking Devices”

1500-1530: Tea and coffee

  • Jessica Monteith, Oliver Shapcott, Anna Talas and Pranav Dahiya: “Who is benefiting from your fitness data? A privacy analysis of smartwatches”

  • Christelle Gloor and Adrian Perrig: “Trusted Introductions For Secure Messaging”

1700: End of first day

1900: Black-tie Formal Dinner (The Old Kitchen)

Tuesday 28 March 2023

08:30: Pseudo-breakfast, mingling

09:30: Second day start

  • Daniel Hugenroth, Ceren Kocaoğullar and Alastair R. Beresford: “Choosing Your Friends: Shaping Ethical Use of Anonymity Networks” (Voted by attendees as “Presentation that triggered the most interesting discussion”)

1030: Tea and coffee

  • Arastoo Bozorgi and Jonathan Anderson: “Blind auditing and probabilistic access controls” (presentation cancelled)

  • Jenny Blessing and Ross Anderson: “One Protocol to Rule Them All? On Securing Interoperable Messaging”

  • Ross Anderson and Nicholas Boucher: “If it’s Provably Secure, It Probably Isn’t: Why Learning from Proof Failure is Hard”

1230: Lunch (The Old Kitchen)

  • Jenny Blessing, Partha Das Chowdhury, Maria Sameen, Ross Anderson, Joseph Gardiner and Awais Rashid: “Towards Human-Centric Endpoint Security”

  • Virgil Gligor, Adrian Perrig and David Basin: “Determining an Economic Value of High Assurance for Commodity Software Security”

1500: Tea and coffee

  • Jenny Blessing and Ross Anderson: “One Protocol to Rule Them All? On Securing Interoperable Messaging” (presentation moved to morning slot)

  • Voting, plans for next year, awards

1700: End of workshop

1900: Informal dinner (The Anchor Pub, 12 Silver Street, Cambridge CB3 9EL)

~~~