AGLFuzz: Automata-Guided Fuzzing for detecting logic errors in security protocol implementations

Autor: Zhao, Dongliang, Guo, Jiaxing, Gu, Chunxiang, Zheng, Yonghui, Zhang, Xieli
Zdroj: In Computers & Security February 2025 149
Databáze: ScienceDirect