Login / Signup
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