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 条
  • [41] SATFuzz: A Stateful Network Protocol Fuzzing Framework from a Novel Perspective
    Pan, Zulie
    Zhang, Liqun
    Hu, Zhihao
    Li, Yang
    Chen, Yuanchao
    APPLIED SCIENCES-BASEL, 2022, 12 (15):
  • [42] COCOS - A configurable SDL complier for generating efficient protocol implementations
    Langendoerfer, P
    Koenig, H
    SDL'99: THE NEXT MILLENNIUM, 1999, : 259 - 274
  • [43] GREEN protocol: gradient based energy efficient routing with network coding capacity
    Nawaz, Faiza
    Jeoti, Varun
    TELECOMMUNICATION SYSTEMS, 2016, 62 (01) : 135 - 147
  • [44] GREEN protocol: gradient based energy efficient routing with network coding capacity
    Faiza Nawaz
    Varun Jeoti
    Telecommunication Systems, 2016, 62 : 135 - 147
  • [45] PROGNOSIS: Closed-Box Analysis of Network Protocol Implementations
    Ferreira, Tiago
    Brewton, Harrison
    D'Antoni, Loris
    Silva, Alexandra
    SIGCOMM '21: PROCEEDINGS OF THE 2021 ACM SIGCOMM 2021 CONFERENCE, 2021, : 762 - 774
  • [46] Generating network security protocol implementations from formal specifications
    Tobler, B
    Hutchison, ACM
    Certification and Security in Inter-Organizational E-Services, 2005, 177 : 33 - 53
  • [47] Rule-based static analysis of network protocol implementations
    Udrea, Octavian
    Lumezanu, Cristian
    Foster, Jeffrey S.
    USENIX Association Proceedings of the 15th USENIX Security Symposium, 2006, : 193 - 208
  • [48] Rule-based static analysis of network protocol implementations
    Udrea, Octavian
    Lumezanu, Cristian
    Foster, Jeffrey S.
    INFORMATION AND COMPUTATION, 2008, 206 (2-4) : 130 - 157
  • [49] Generating network security protocol implementations from formal specifications
    Tobler, Benjamin
    Hutchison, Andrew C. M.
    IFIP Advances in Information and Communication Technology, 2005, 177 : 34 - 53
  • [50] A Framework of High-Speed Network Protocol Fuzzing Based on Shared Memory
    Fu, Junsong
    Xiong, Shuai
    Wang, Na
    Ren, Ruiping
    Zhou, Ang
    Bhargava, Bharat K.
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2024, 21 (04) : 2779 - 2798