Flash vulnerability detection based on virtual execution and branch coverage

被引：0
|
作者：
机构：
[1] Peng, Cheng
[2] Duan, Guihua
[3] Wang, Xiangxin
[4] Dong, Pingping
[5] Guo, Kehua
来源：
Duan, G. (duangh@csu.edu.cn) | 1600年 / Central South University of Technology卷 / 44期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution
    Tang, Shibo
    Wang, Xingxin
    Gao, Yifei
    Hu, Wei
    2022 19TH INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC), 2022, : 207 - 208
  • [22] Symbolic Execution vs. Search for Software Vulnerability Detection and Patching
    Roychoudhury, Abhik
    SECURITY, PRIVACY, AND APPLIED CRYPTOGRAPHY ENGINEERING, SPACE 2018, 2018, 11348
  • [23] FIRMCORN: Vulnerability-Oriented Fuzzing of IoT Firmware via Optimized Virtual Execution
    Gui, Zhijie
    Shu, Hui
    Kang, Fei
    Xiong, Xiaobing
    IEEE ACCESS, 2020, 8 : 29826 - 29841
  • [24] Computer Deep Learning Network Security Vulnerability Detection Based on Virtual Reality Technology
    Zheng, Xiaokun
    ADVANCES IN MULTIMEDIA, 2022, 2022
  • [25] Execution exemption should be based on actual vulnerability, not disability label
    Greenspan, S
    Switzky, HN
    ETHICS & BEHAVIOR, 2003, 13 (01) : 19 - 26
  • [26] Search-Based Concolic Execution for SW Vulnerability Discovery
    Fayozbek, Rustamov
    Choi, Minjun
    Yun, Joobeom
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2018, E101D (10): : 2526 - 2529
  • [27] A Path Coverage-Based Reduction of Test Cases and Execution Time Using Parallel Execution
    Singh, Leena
    Singh, Shailendra Narayan
    SOFTWARE ENGINEERING (CSI 2015), 2019, 731 : 623 - 630
  • [28] BofAEG: Automated Stack Buffer Overflow Vulnerability Detection and Exploit Generation Based on Symbolic Execution and Dynamic Analysis
    Xu, Shenglin
    Wang, Yongjun
    SECURITY AND COMMUNICATION NETWORKS, 2022, 2022
  • [29] WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection
    Jiang, Bo
    Chen, Yifei
    Wang, Dong
    Ashraf, Imran
    Chan, W. K.
    2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), 2021, : 926 - 937
  • [30] Arduino practice judgment system based on function execution log in virtual execution environment
    Seo, Kangbok
    Kim, Junhyung
    Lee, Woojin
    COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, 2024, 32 (02)
12345