I wrote this fuzzer together with Lucca and Steve in 2021 at Inria, Nancy. ToB allowed to pick up that novel fuzzing technique and push it even further.

If you want to read more about protocol verification using the Dolev-Yao model I can recommend this paper: https://ieeexplore.ieee.org/document/8418623

I'm expecting to see more great findings with further iterations on the fuzzer. LibAFL served as a basis for this project.

Fuzzer source: https://github.com/tlspuffin/tlspuffin