Biblio

Export 7 results:
Filters: Author is Cas Cremers  [Clear All Filters]
2023
Cremers C, Dax A, Jacomme C, Zhao M.  2023.  Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. 32nd USENIX Security Symposium (USENIX Security 23). :5935--5952.
Cremers C, Jacomme C, Naska A.  2023.  Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. 32nd USENIX Security Symposium (USENIX Security 23). :1235--1252.
Cremers C, Dax A, Naska A.  2023.  Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. 32nd USENIX Security Symposium (USENIX Security 23). :6611--6628.
Cheval V, Cremers C, Dax A, Hirschi L, Jacomme C, Kremer S.  2023.  Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. 32nd USENIX Security Symposium (USENIX Security 23). :5899--5916.
2021
Cremers C, Hale B, Kohbrok K.  2021.  The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter. 30th USENIX Security Symposium (USENIX Security 21). :1847--1864.
2020
Cremers C, Kiesl B, Medinger N.  2020.  A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters. 29th USENIX Security Symposium (USENIX Security 20). :1--17.
Girol G, Hirschi L, Sasse R, Jackson D, Cremers C, Basin D.  2020.  A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. 29th USENIX Security Symposium (USENIX Security 20). :1857--1874.