Results

Publications

Other Results and News

  • [November 2023] New paper accepted at Security & Privacy’24 where we propose a new fuzzing technique we called Dolev-Yao model-guided Fuzzing. We provide a full-fledged implementation of such a DY fuzzer in Rust with our tool tlspuffin, which found four new CVEs on WolfSSL, including one critical and two high CVEs.
  • [January 2023] The ProtoFuzz project (2023-2027) was funded by the ANR (280k euros) as a JCJC project (individual research projects coordinated by young researchers). We are looking for students (research interns, PhD students), postdocs, and engineers to join this research effort. In case you are interested, contact Lucca Hirschi via email.

Comments are closed.