• 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 43 matches

• 2023
• 
  Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling:
  Privacy-Aware Secure Region-Based Handover for Small Cell Networks in 5G-Enabled Mobile Communication. IEEE Trans. Inf. Forensics Secur. 18: 1898-1913 (2023)
• 
  Benjamin Dowling, Britta Hale:
  Authenticated Continuous Key Agreement: Active MitM Detection and Prevention. IACR Cryptol. ePrint Arch. 2023: 228 (2023)
• 2022
• 
  Haibat Khan, Benjamin Dowling, Keith M. Martin:
  Pragmatic authenticated key agreement for IEEE Std 802.15.6. Int. J. Inf. Sec. 21(3): 577-595 (2022)
• 
  Benjamin Dowling, Eduard Hauck, Doreen Riepel, Paul Rösler:
  Strongly Anonymous Ratcheted Key Exchange. ASIACRYPT (3) 2022: 119-150
• 
  Yawning Angel, Benjamin Dowling, Andreas Hülsing, Peter Schwabe, Florian Weber:
  Post Quantum Noise. CCS 2022: 97-109
• 
  Benjamin Dowling, Felix Günther, Alexandre Poirrier:
  Continuous Authentication in Secure Messaging. ESORICS (2) 2022: 361-381
• 
  Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling:
  Privacy-aware Secure Region-based Handover for Small Cell Networks in 5G-enabled Mobile Communication. CoRR abs/2206.09870 (2022)
• 
  Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling:
  Privacy-aware Secure Region-based Handover for Small Cell Networks in 5G-enabled Mobile Communication. IACR Cryptol. ePrint Arch. 2022: 850 (2022)
• 
  Yawning Angel, Benjamin Dowling, Andreas Hülsing, Peter Schwabe, Florian Weber:
  Post Quantum Noise. IACR Cryptol. ePrint Arch. 2022: 539 (2022)
• 
  Nimrod Aviram, Benjamin Dowling, Ilan Komargodski, Kenneth G. Paterson, Eyal Ronen, Eylon Yogev:
  Practical (Post-Quantum) Key Combiners from One-Wayness and Applications to TLS. IACR Cryptol. ePrint Arch. 2022: 65 (2022)
• 
  Benjamin Dowling, Felix Günther, Alexandre Poirrier:
  Continuous Authentication in Secure Messaging. IACR Cryptol. ePrint Arch. 2022: 1215 (2022)
• 
  Benjamin Dowling, Eduard Hauck, Doreen Riepel, Paul Rösler:
  Strongly Anonymous Ratcheted Key Exchange. IACR Cryptol. ePrint Arch. 2022: 1187 (2022)
• 2021
• 
  Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila:
  A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. J. Cryptol. 34(4): 37 (2021)
• 
  Benjamin Dowling, Britta Hale:
  Secure Messaging Authentication against Active Man-in-the-Middle Attacks. EuroS&P 2021: 54-70
• 2020
• 
  Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila:
  A Formal Security Analysis of the Signal Messaging Protocol. J. Cryptol. 33(4): 1914-1983 (2020)
• 
  Jennifer C. Goldsack, Andrea R. Coravos, Jessie P. Bakker, Brinnae Bent, Ariel V. Dowling, Cheryl Fitzer-Attas, Alan Godfrey, Job G. Godino, Ninad Gujar, Elena Izmailova, Christine Manta, Barry Peterson, Benjamin Vandendriessche, William A. Wood, Will Ke Wang, Jessilyn Dunn:
  Verification, analytical validation, and clinical validation (V3): the foundation of determining fit-for-purpose for Biometric Monitoring Technologies (BioMeTs). npj Digit. Medicine 3 (2020)
• 
  Benjamin Dowling, Paul Rösler, Jörg Schwenk:
  Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework. Public Key Cryptography (1) 2020: 341-373
• 
  Benjamin Dowling, Torben Brandt Hansen, Kenneth G. Paterson:
  Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange. PQCrypto 2020: 483-502
• 
  Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila:
  A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. IACR Cryptol. ePrint Arch. 2020: 1044 (2020)
• 
  Benjamin Dowling, Britta Hale:
  There Can Be No Compromise: The Necessity of Ratcheted Authentication in Secure Messaging. IACR Cryptol. ePrint Arch. 2020: 541 (2020)
• 
  Benjamin Dowling, Torben Brandt Hansen, Kenneth G. Paterson:
  Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange. IACR Cryptol. ePrint Arch. 2020: 99 (2020)
• 
  Haibat Khan, Benjamin Dowling, Keith M. Martin:
  Pragmatic Authenticated Key Agreement for IEEE Std 802.15.6. IACR Cryptol. ePrint Arch. 2020: 45 (2020)
• 2019
• 
  Ian Sillitoe, Natalie L. Dawson, Tony E. Lewis, Sayoni Das, Jonathan G. Lees, Paul Ashford, Adeyelu Tolulope, Harry M. Scholes, Ilya Senatorov, Andra Bujan, Fatima Ceballos Rodriguez-Conde, Benjamin Dowling, Janet M. Thornton, Christine A. Orengo:
  CATH: expanding the horizons of structure-based functional annotations for genome sequences. Nucleic Acids Res. 47(Database-Issue): D280-D284 (2019)
• 
  Benjamin Dowling, Paul Rösler, Jörg Schwenk:
  Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework. IACR Cryptol. ePrint Arch. 2019: 436 (2019)
• 2018
• 
  Benjamin Dowling, Kenneth G. Paterson:
  A Cryptographic Analysis of the WireGuard Protocol. ACNS 2018: 3-21
• 
  Haibat Khan, Benjamin Dowling, Keith M. Martin:
  Identity Confidentiality in 5G Mobile Telephony Systems. SSR 2018: 120-142
• 
  Haibat Khan, Benjamin Dowling, Keith M. Martin:
  Highly Efficient Privacy-Preserving Key Agreement for Wireless Body Area Networks. TrustCom/BigDataSE 2018: 1064-1069
• 
  Benjamin Dowling, Kenneth G. Paterson:
  A Cryptographic Analysis of the WireGuard Protocol. IACR Cryptol. ePrint Arch. 2018: 80 (2018)
• 
  Haibat Khan, Benjamin Dowling, Keith M. Martin:
  Identity Confidentiality in 5G Mobile Telephony Systems. IACR Cryptol. ePrint Arch. 2018: 876 (2018)
• 2017
• 
  Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila:
  A Formal Security Analysis of the Signal Messaging Protocol. EuroS&P 2017: 451-466

skipping 13 more matches