FuzzRV

h1. Fuzzing Articles

1. **FuzzWiz: Fuzzing RISC-V Processors using Wizard-Guided Mutation** (2024)  

   - *Автор:* Не указан в ссылке, доступен в "arXiv":https://arxiv.org/pdf/2410.17732  

   - *О чем:* Новый фаззер, использующий техники мутации для тестирования RISC-V процессоров.

2. **Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing** (2022)  

   - *Авторы:* Niklas Bruns, V. Herdt, Daniel Große, R. Drechsler  

   - *О чем:* Использует coverage-guided фаззинг с кастомными мутациями для проверки RISC-V процессоров.  

   - "Ссылка":https://consensus.app/papers/efficient-crosslevel-processor-verification-using-bruns-herdt/cffaec792461567eb4360b9e12fb8303/?utm_source=chatgpt  

3. **Verifying Instruction Set Simulators using Coverage-guided Fuzzing** (2019)  

   - *Авторы:* V. Herdt, Daniel Große, H. M. Le, R. Drechsler  

   - *О чем:* Фаззинг для проверки корректности симуляторов RISC-V на уровне инструкций.  

   - "Ссылка":https://consensus.app/papers/verifying-instruction-set-simulators-using-herdt-große/c1c1ae19648951ddae4c556f159498bc/?utm_source=chatgpt

4. **MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation** (2023)  

   - *Авторы:* Jinyan Xu, Yiyuan Liu, Sirui He, Haoran Lin, Yajin Zhou, Cong Wang  

   - *О чем:* Новый фаззер для RISC-V, использующий runtime instruction morphing и динамическую мутацию инструкций.  

   - "Ссылка":https://consensus.app/papers/morfuzz-fuzzing-processor-via-runtime-instruction-xu-liu/4e3383b5677455bf8ef1170f968e0446/?utm_source=chatgpt

5. **Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification** (2023)  

   - *Авторы:* Milan Funck, Sallar Ahmadi-Pour, V. Herdt, R. Drechsler  

   - *О чем:* Использует мутации на уровне ISA для улучшения верификации RISC-V процессоров.  

   - "Ссылка":https://consensus.app/papers/identification-of-isalevel-mutationclasses-for-funck-ahmadi-pour/0aa66e3e365a5bf6adc212c41eb1a279/?utm_source=chatgpt  

6. **Cascade: CPU Fuzzing via Intricate Program Generation** (2024)  

   - *Авторы:* Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi  

   - *О чем:* Генерация сложных программ для фаззинга процессоров RISC-V.  

   - "Ссылка":https://consensus.app/papers/cascade-cpu-fuzzing-via-intricate-program-generation-solt-ceesay-seitz/ead795cdf6915c06971cdda66fc5e2d3/?utm_source=chatgpt

7. **Mutation-based Compliance Testing for RISC-V** (2021)  

   - *Авторы:* V. Herdt, Sören Tempel, Daniel Große, R. Drechsler  

   - *О чем:* Применение мутационного фаззинга для проверки соответствия процессоров RISC-V стандарту.  

   - "Ссылка":https://consensus.app/papers/mutationbased-compliance-testing-for-riscv-herdt-tempel/147a019b399052d8a20c96ef9fb61b58/?utm_source=chatgpt  

8. **FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection** (2024)  

   - *Авторы:* Nusrat Farzana Dipu, Muhammad Monir Hossain, K. Z. Azar, Farimah Farahmandi, M. Tehranipoor  

   - *О чем:* Инструмент для фаззинга уязвимостей в SoC с использованием формальных методов и мутаций.  

   - "Ссылка":https://consensus.app/papers/formalfuzzer-formal-verification-assisted-fuzz-testing-dipu-hossain/96a28a8fad2a5edbafc843fed64d292f/?utm_source=chatgpt

9. **WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors** (2024)  

   - *Авторы:* P. Borkar, Chen Chen, Mohamadreza Rostami, Nikhilesh Singh, Rahul Kande, A. Sadeghi, Chester Rebeiro, Jeyavijayan Rajendran  

   - *О чем:* Фаззинг для обнаружения уязвимостей тайминга в RISC-V процессорах.  

   - "Ссылка":https://consensus.app/papers/whisperfuzz-whitebox-fuzzing-for-detecting-and-locating-borkar-chen/6857834f6a145b4aac11133ed60d8299/?utm_source=chatgpt

10. **Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion** (2021)  

   - *Авторы:* Sallar Ahmadi-Pour, V. Herdt, R. Drechsler  

   - *О чем:* Использование случайных генераторов тестов и мутаций для фаззинга процессоров RISC-V.  

   - "Ссылка":https://consensus.app/papers/constrained-random-verification-for-riscv-overview-ahmadi-pour-herdt/a8f7f5a132e35e3f899249d0bfce4e48/?utm_source=chatgpt

11. **Hardware Support to Improve Fuzzing Performance and Precision** (2021)  

   - *Авторы:* Ren Ding, Yonghae Kim, F. Sang, Wen Xu, Gururaj Saileshwar, Taesoo Kim  

   - *О чем:* Использование аппаратных средств для ускорения фаззинга RISC-V процессоров.  

   - "Ссылка":https://consensus.app/papers/hardware-support-to-improve-fuzzing-performance-and-ding-kim/ffa14ba401d95d9f98756b635f8a4989/?utm_source=chatgpt