TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing-Reference-Cited by-同舟云学术

TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing

Published:2023-10-28 Issue: Volume: Page:
ISSN:
Container-title:2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)
language:
Short-container-title:

Author:

Hossain Muhammad Monir¹,Dipu Nusrat Farzana¹,Azar Kimia Zamiri¹,Rahman Fahim¹,Farahmandi Farimah¹,Tehranipoor Mark¹

Affiliation:

1. University of Florida,Electrical and Computer Engineering,Gainesville,Florida,USA,32611

Funder

Semiconductor Research Corporation

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/10323590/10323543/10323726.pdf?arnumber=10323726

Reference45 articles.

1. DifuzzRTL: Differential Fuzz Testing to Find CPU Bugs

2. Soc security properties and rules;farzana;Cryptology ePrint Archive,2021

3. DirectFuzz: Automated Test Generation for RTL Designs using Directed Graybox Fuzzing

4. {TheHuzz}: Instruction fuzzing of processors using {Golden-Reference} models for finding {Software-Exploitable} vulnerabilities;kande;31st USENIX Security Symposium (USENIX Security 22),2022

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fuzzing for Automated SoC Security Verification: Challenges and Solution;IEEE Design & Test;2024-08

2. Fuzz Wars: The Voltage Awakens – Voltage-Guided Blackbox Fuzzing on FPGAs;2024 IEEE 42nd VLSI Test Symposium (VTS);2024-04-22

3. FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22

4. Large Language Models for SoC Security;Hardware Security;2024

5. SoC Security Verification Using Fuzz, Penetration, and AI Testing;Hardware Security;2024