• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 811 matches

• 2023
• 
  Ross J. Anderson, Nicholas Boucher:
  If It's Provably Secure, It Probably Isn't: Why Learning from Proof Failure Is Hard. Security Protocols Workshop 2023: 199-204
• 
  Ross J. Anderson, Nicholas Boucher:
  If It's Provably Secure, It Probably Isn't: Why Learning from Proof Failure is Hard (Transcript of Discussion). Security Protocols Workshop 2023: 205-210
• 
  Jenny Blessing:
  One Protocol to Rule Them All? On Securing Interoperable Messaging (Transcript of Discussion). Security Protocols Workshop 2023: 193-198
• 
  Jenny Blessing, Ross Anderson:
  One Protocol to Rule Them All? On Securing Interoperable Messaging. Security Protocols Workshop 2023: 174-192
• 
  Jenny Blessing, Partha Das Chowdhury, Maria Sameen, Ross J. Anderson, Joseph Gardiner, Awais Rashid:
  Towards Human-Centric Endpoint Security. Security Protocols Workshop 2023: 211-219
• 
  Arastoo Bozorgi, Jonathan Anderson:
  Blind Auditing and Probabilistic Access Controls. Security Protocols Workshop 2023: 257-269
• 
  Partha Das Chowdhury:
  Towards Human-Centric Endpoint Security (Transcript of Discussion). Security Protocols Workshop 2023: 220-227
• 
  Bruce Christianson, Alex Shafarenko:
  Transporting a Secret Using Destructively-Read Memory. Security Protocols Workshop 2023: 32-37
• 
  Virgil D. Gligor, Adrian Perrig, David A. Basin:
  Determining an Economic Value of High Assurance for Commodity Software Security. Security Protocols Workshop 2023: 228-242
• 
  Christelle Gloor:
  Trusted Introductions for Secure Messaging (Transcript of Discussion). Security Protocols Workshop 2023: 136-148
• 
  Christelle Gloor, Adrian Perrig:
  Trusted Introductions for Secure Messaging. Security Protocols Workshop 2023: 123-135
• 
  Harry Halpin:
  Incentives and Censorship Resistance for Mixnets Revisited (Transcript of Discussion). Security Protocols Workshop 2023: 70-77
• 
  Harry Halpin, Andrei Serjantov:
  Incentives and Censorship Resistance for Mixnets Revisited. Security Protocols Workshop 2023: 64-69
• 
  Daniel Hugenroth:
  Choosing Your Friends: Shaping Ethical Use of Anonymity Networks (Transcript of Discussion). Security Protocols Workshop 2023: 162-173
• 
  Daniel Hugenroth, Ceren Kocaogullar, Alastair R. Beresford:
  Choosing Your Friends: Shaping Ethical Use of Anonymity Networks. Security Protocols Workshop 2023: 151-161
• 
  Agata Kruzikova:
  Authentication of IT Professionals in the Wild - A Survey (Transcript of Discussion). Security Protocols Workshop 2023: 57-63
• 
  Agata Kruzikova, Vashek Matyas, Milan Broz:
  Authentication of IT Professionals in the Wild - A Survey. Security Protocols Workshop 2023: 43-56
• 
  Jessica Monteith:
  Who Is Benefiting from Your Fitness Data? A Privacy Analysis of Smartwatches (Transcript of Discussion). Security Protocols Workshop 2023: 113-122
• 
  Jessica Monteith, Oliver Shapcott, Anna Talas, Pranav Dahiya:
  Who Is Benefiting from Your Fitness Data? A Privacy Analysis of Smartwatches. Security Protocols Workshop 2023: 97-112
• 
  Adrian Perrig:
  Determining an Economic Value of High Assurance for Commodity Software Security (Transcript of Discussion). Security Protocols Workshop 2023: 243-256
• 
  Alex Shafarenko:
  Transporting a Secret Using Destructively-Read Memory (Transcript of Discussion). Security Protocols Workshop 2023: 38-42
• 
  Frank Stajano:
  Sleepwalking into Disaster? Requirements Engineering for Digital Cash (Position Paper). Security Protocols Workshop 2023: 3-19
• 
  Frank Stajano:
  Sleepwalking into Disaster? Requirements Engineering for Digital Cash (Transcript of Discussion). Security Protocols Workshop 2023: 20-31
• 
  Kieron Ivy Turk:
  Can't Keep Them Away: The Failures of Anti-stalking Protocols in Personal Item Tracking Devices (Transcript of Discussion). Security Protocols Workshop 2023: 89-96
• 
  Kieron Ivy Turk, Alice Hutchings, Alastair R. Beresford:
  Can't Keep Them Away: The Failures of Anti-stalking Protocols in Personal Item Tracking Devices. Security Protocols Workshop 2023: 78-88
• 
  Frank Stajano, Vashek Matyás, Bruce Christianson, Jonathan Anderson:
  Security Protocols XXVIII - 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14186, Springer 2023, ISBN 978-3-031-43032-9 [contents]
• 2020
• 
  Jonathan Anderson, Frank Stajano, Bruce Christianson, Vashek Matyás:
  Security Protocols XXVII - 27th International Workshop, Cambridge, UK, April 10-12, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12287, Springer 2020, ISBN 978-3-030-57042-2 [contents]
• 2019
• 
  Mansoor Ahmed-Rengers, Ross J. Anderson, Darija Halatova, Ilia Shumailov:
  Snitches Get Stitches: On the Difficulty of Whistleblowing. Security Protocols Workshop 2019: 289-303
• 
  Mansoor Ahmed-Rengers, Ross J. Anderson, Darija Halatova, Ilia Shumailov:
  Snitches Get Stitches: On the Difficulty of Whistleblowing (Transcript of Discussion). Security Protocols Workshop 2019: 304-312
• 
  Prashant Anantharaman:
  Mismorphism: The Heart of the Weird Machine (Transcript of Discussion). Security Protocols Workshop 2019: 125-131

skipping 781 more matches