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...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings - IEEE Symposium on Security and Privacy s. 1481 - 1499
Hlavní autori:	Ammann, Max, Hirschi, Lucca, Kremer, Steve
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 19.05.2024
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!