DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing, 2024

computer.orgsite

from

Fuzzing

added

2026-10-10

likes

0

similar

1. ▲

   Fuzzification: Anti-Fuzzing Techniques, 2019 usenix.org

   site link ↗
   site
2. ▲

   Fuzzing Hardware Like Software, 2022 usenix.org

   site topic programming link ↗
   site
3. ▲

   Lost in Translation: Enabling Confused Deputy Attacks on EDA Software with TransFuzz, 2025 usenix.org

   site topic programming link ↗
   site
4. ▲

   Fizzle: A Framework for Deterministic and Reproducible Network Fuzzing, 2026 doi.org

   site link ↗
   site
5. ▲

   Fuzz to the Future: Uncovering Occluded Future Vulnerabilities via Robust Fuzzing, 2024 dl.acm.org

   site link ↗
   site
6. ▲

   Prompt Fuzzing for Fuzz Driver Generation, 2024 dl.acm.org

   site link ↗
   site