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

Full description

Bibliographic Details

Published in:	Proceedings - IEEE Symposium on Security and Privacy pp. 1481 - 1499
Main Authors:	Ammann, Max, Hirschi, Lucca, Kremer, Steve
Format:	Conference Proceeding
Language:	English
Published:	IEEE 19.05.2024
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!