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

Max Ammann Lucca Hirschi Steve Kremer

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

probabilistic model
statistical models
lightweight
mathematical models
formal models
accurate models
neural network
genetic algorithm
model selection
process model
statistical methods
computational models
formal analysis