• 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 1,578 matches

• 2023
• 
  Timm Lauser, Christoph Krauß:
  Formal Security Analysis of Vehicle Diagnostic Protocols. ARES 2023: 21:1-21:11
• 
  Hasnain Nizam Thakur, Abdullah Al Hayajneh, Kutub Thakur, Abu Kamruzzaman, Md Liakat Ali:
  A Comprehensive Review of Wireless Security Protocols and Encryption Applications. AIIoT 2023: 373-379
• 
  Christopher A. Wood:
  Not-So-Low Hanging Fruit: Security and Privacy Research Opportunities for IETF Protocols. ANRW 2023: 41-43
• 
  Colton Helbig, Safa Otoum, Yaser Jararweh:
  Modeling and Evaluation of the Internet of Things Communication Protocols in Security Constrained Systems. CCNC 2023: 1-6
• 
  Erkan Tairi, Pedro Moreno-Sanchez, Clara Schneidewind:
  LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures. CCS 2023: 859-873
• 
  Lilla Pankaczi, Mohamed Eldefrawy:
  Enhancing the Security of ISO/IEC 14443-3 and 4 RFID Authentication Protocols through Formal Analysis. COINS 2023: 1-6
• 
  Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei:
  Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CSF 2023: 107-122
• 
  Óscar Gotor Bermejo, Daniel Dik, Michael Stübert Berger:
  Risk Assessment on Hardware Offloading Architecture of Network Security Protocols with Linux-based Control Plane. DRCN 2023: 1-8
• 
  Awad A. Younis, Yi Hu, Ramadan Abdunabi:
  Analyzing Software Supply Chain Security Risks in Industrial Control System Protocols: An OpenSSF Scorecard Approach. DSA 2023: 302-311
• 
  Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
  Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. FSCD 2023: 30:1-30:19
• 
  Gardner Mwansa, Ntima Mabanza:
  Review of Internet of Things security protocols - A Bibliometric Analysis. ICACT 2023: 394-400
• 
  Sauhard Vyas, Usha Jain, Gulrej Ahmed:
  A Survey: Authentication Protocols & Security Analysis for Wireless Sensor Networks. ICCCNT 2023: 1-7
• 
  Andrew Cook, Luca Viganò:
  Formal Analysis of Security Protocols with Movement. ITASEC 2023
• 
  Daniel Dik, Michael Stübert Berger:
  Control Plane Isolation of Network Security Protocols using FPGA-SoC Trusted Execution Environment. NorCAS 2023: 1-6
• 
  Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
  Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP 2023: 1077-1093
• 
  Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno:
  Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. SP 2023: 1130-1147
• 
  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

skipping 1,548 more matches