DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing

Critical and widely used cryptographic protocols have repeatedly been found to contain flaws in their design and their implementation. A prominent class of such vulnerabilities is logical attacks, e.g. attacks that exploit flawed protocol logic. Automated formal verification methods, based on the Do...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings - IEEE Symposium on Security and Privacy S. 1481 - 1499
Hauptverfasser:	Ammann, Max, Hirschi, Lucca, Kremer, Steve
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 19.05.2024
Schlagworte:	Cognition Cryptographic protocols Formal methods and verification Formal verification Fuzzing Logic Privacy Program and binary analysis Protocol security Security Systems security Test
ISSN:	2375-1207
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!