Green-Fuzz: Efficient Fuzzing for Network Protocol Implementations

被引:0
|
作者
Andarzian, Seyed Behnam [1 ]
Daniele, Cristian [1 ]
Poll, Erik [1 ]
机构
[1] Radboud Univ Nijmegen, Nijmegen, Netherlands
关键词
Testing; Fuzzing; Software Security; Network Protocol Fuzzing;
D O I
10.1007/978-3-031-57537-2_16
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Recent techniques have significantly improved fuzzing, discovering many vulnerabilities in various software systems. However, certain types of systems, such as network protocols, are still challenging to fuzz. This article presents two enhancements that allow efficient fuzzing of network protocols. The first is Desock+, which simulates a network socket and supports different POSIX options to make Desock+ suitable for faster network protocol fuzzing. The second is Green-Fuzz, which sends input messages in one go and reduces the system-call overhead while fuzzing network protocols. We applied this modification to AFLNet, but it could be applied to any fuzzer for stateful systems. This is the maximum overhead we can avoid, when doing out-process fuzzing on stateful systems. Our evaluation shows that these enhancements make AFLNet up to four times faster.
引用
收藏
页码:253 / 268
页数:16
相关论文
共 50 条
  • [1] Protocol state fuzzing of TLS implementations
    de Ruiter, Joeri
    Poll, Erik
    PROCEEDINGS OF THE 24TH USENIX SECURITY SYMPOSIUM, 2015, : 193 - 206
  • [2] Netfuzzlib: Adding First-Class Fuzzing Support to Network Protocol Implementations
    Robben, Jeroen
    Vanhoef, Mathy
    COMPUTER SECURITY-ESORICS 2024, PT II, 2024, 14983 : 65 - 84
  • [3] Logos: Log Guided Fuzzing for Protocol Implementations
    Wu, Feifan
    Luo, Zhengxiong
    Zhao, Yanyang
    Du, Qingpeng
    Yu, Junze
    Peng, Ruikang
    Shi, Heyuan
    Jiang, Yu
    PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, 2024, : 1720 - 1732
  • [4] Fuzzing for Stateful Protocol Implementations: Are We There Yet?
    Jian, Kunpeng
    Zou, Yanyan
    Li, Yeting
    Cao, Jialun
    Li, Menghao
    Sun, Jian
    Shi, Jingyi
    Huo, Wei
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2024, 2024, 14777 : 186 - 204
  • [5] BLEEM: Packet Sequence Oriented Fuzzing for Protocol Implementations
    Luo, Zhengxiong
    Yu, Junze
    Zuo, Feilong
    Liu, Jianzhong
    Jiang, Yu
    Chen, Ting
    Roychoudhury, Abhik
    Sun, Jiaguang
    PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, 2023, : 4481 - 4498
  • [6] Securing Next Generation Networks by Fuzzing Protocol Implementations
    Juuso, Anna-Maija
    Rontti, Tero
    Tirila, Juha-Matti
    2011 TECHNICAL SYMPOSIUM AT ITU TELECOM WORLD (ITU WT), 2011, : 7 - 12
  • [7] Analysis of DTLS Implementations Using Protocol State Fuzzing
    Fiterau-Brostean, Paul
    Jonsson, Bengt
    Merget, Robert
    de Ruiter, Joeri
    Sagonas, Konstantinos
    Somorovsky, Juraj
    PROCEEDINGS OF THE 29TH USENIX SECURITY SYMPOSIUM, 2020, : 2523 - 2540
  • [8] A Rapid Review on Fuzz Security Testing for Software Protocol Implementations
    Marchetto, Alessandro
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2023, 2023, 14131 : 3 - 20
  • [9] Network Protocol Security Testing Based on Fuzz
    Li Haifeng
    Wang Shaolei
    Zhang Bin
    Shuai Bo
    Tang Chaojing
    PROCEEDINGS OF 2015 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2015), 2015, : 955 - 958
  • [10] DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing
    Ammann, Max
    Hirschi, Lucca
    Kremer, Steve
    45TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP 2024, 2024, : 1481 - 1499