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á bibliografie

Vydáno v:	Proceedings - IEEE Symposium on Security and Privacy s. 1481 - 1499
Hlavní autoři:	Ammann, Max, Hirschi, Lucca, Kremer, Steve
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 19.05.2024
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!