Fuzzing Articles¶

Вот список 11 статей про фаззинг RISC-V на уровне ассемблерного кода с интересными техниками мутации:

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)

Этот список включает статьи с различными техниками фаззинга, мутациями и проверкой процессоров на уровне ассемблерного кода.