Biblio

Export 3 results:
Filters: Author is Steve Kremer  [Clear All Filters]
2023
Jacomme C, Klein E, Kremer S, Racouchot M.  2023.  A comprehensive, formal and automated analysis of the EDHOC protocol. 32nd USENIX Security Symposium (USENIX Security 23). :5881--5898.
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.
2022
Cheval V, Jacomme C, Kremer S, Künnemann R.  2022.  SAPIC+: protocol verifiers of the world, unite!. 31st USENIX Security Symposium (USENIX Security 22). :3935--3952.