Yingjie Li, Wei Liu, Junying Chen, Junshuang Wu, Bo Liu. CPFuzz: A Model-based Black-box Fuzzer for Cryptographic Protocols. In 25th International Conference on Software Quality, Reliability, and Security, QRS 2025 - Companion, Hangzhou, China, July 16-20, 2025. pages 556-565, IEEE, 2025. [doi]
Abstract is missing.