ProFuzzBench: a benchmark for stateful protocol fuzzing.

Roberto Natella Van-Thuan Pham

Published in: ISSTA (2021)

Keyphrases

lightweight
network protocols
formal analysis
real world
tcp ip
databases
communication protocol
cryptographic protocols
petri net
model checking
comparative analysis
overlay network
wireless networks
authentication protocol
application layer
mobile devices
file transfer
coloured petri nets