LightTLS
Benchmark models
Related publications: [DBMCP25]
The paper presents LibAFLstar to use for protocol fuzzing with four different protocol implementations, using LightFTP to benchmark stateful fuzzers.
Fig. 1: Learned Mealy Machine of LightTLS 