Differential Testing of Cryptographic Libraries with Hybrid Fuzzing

被引:1
|
作者
Jin, Hoyong [1 ]
An, Dohyeon [1 ,2 ]
Kwon, Taekyoung [1 ]
机构
[1] Yonsei Univ, Grad Sch Informat, Seoul 03722, South Korea
[2] Coinone inc, Seoul 07335, South Korea
基金
新加坡国家研究基金会;
关键词
Differential fuzzing; Differential testing; Cryptographic library fuzzing; Cryptofuzz; Hybrid fuzzing;
D O I
10.1007/978-3-031-29371-9_7
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Differential fuzz testing is a promising technique to detect numerous bugs in cryptographic libraries by providing the same input for different implementations of cryptographic algorithms. Cryptofuzz is an edge-cutting project that supports various libraries in this regard, employing coverage-guided libFuzzer as its back-end core. However, we observe that Cryptofuzz heavily relies on heuristic custom mutation strategies to expand code coverage while fuzzing, compensating for the limited performance of libFuzzer and the overhead of differential fuzzing. In this paper, we show such evidence and then present a novel tweak method to make differential fuzzing perform better with advanced fuzzers rather than the custom mutators overfitted with cryptographic features. Our basic insight is that hybrid fuzzing, which combines fuzzing and concolic execution, could help. We make the front end of Cryptofuzz standalone for differential testing of cryptographic libraries with hybrid fuzzers. We conduct experiments and use AFL and Intriguer for hybrid fuzzing. Our evaluation results show that the proposed method achieves better code coverage independently of the custom mutators and is more effective in bug-finding than Cryptofuzz. Our method generalizes its back end to use any advanced fuzzers for differential testing of cryptographic libraries.
引用
收藏
页码:124 / 144
页数:21
相关论文
共 50 条
  • [1] Systematic Fuzzing and Testing of TLS Libraries
    Somorovsky, Juraj
    CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2016, : 1492 - 1504
  • [2] Go or No Go: Differential Fuzzing of Native and C Libraries
    Sorniotti, Alessandro
    Weissbacher, Michael
    Kurmus, Anil
    2023 IEEE SECURITY AND PRIVACY WORKSHOPS, SPW, 2023, : 349 - 363
  • [3] Generation-based Differential Fuzzing for Deep Learning Libraries
    Liu, Jiawei
    Huang, Yuheng
    Wang, Zhijie
    Ma, Lei
    Fang, Chunrong
    Gu, Mingzheng
    Zhang, Xufan
    Chen, Zhenyu
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (02)
  • [4] Hybrid Testing Based on Symbolic Execution and Fuzzing
    Xie X.-F.
    Li X.-H.
    Chen X.
    Meng G.-Z.
    Liu Y.
    Ruan Jian Xue Bao/Journal of Software, 2019, 30 (10): : 3071 - 3089
  • [5] Fuzzing-Based Differential Testing for Quantum Simulators
    Blackwell, Daniel
    Petke, Justyna
    Cao, Yazhuo
    Bensoussan, Avner
    SEARCH-BASED SOFTWARE ENGINEERING, SSBSE 2024, 2024, 14767 : 63 - 69
  • [6] Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
    Georgescu, Calin
    Olsthoorn, Mitchell
    Derakhshanfar, Pouria
    Akhin, Marat
    Panichella, Annibale
    COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, 2024, : 197 - 207
  • [7] Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing
    Gu, Jiazhen
    Luo, Xuchuan
    Zhou, Yangfan
    Wang, Xin
    2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 1418 - 1430
  • [8] DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
    Guo, Jianmin
    Jiang, Yu
    Zhao, Yue
    Chen, Quan
    Sun, Jiaguang
    ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 739 - 743
  • [9] Hopper: Interpretative Fuzzing for Libraries
    Chen, Peng
    Xie, Yuxuan
    Lyu, Yunlong
    Wang, Yuxiao
    Chen, Hao
    PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 1600 - 1614
  • [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