Fuzzing Articles » History » Version 1
Egor Zheliba, 02/11/2025 03:18 PM
| 1 | 1 | Egor Zheliba | h1. Fuzzing Articles |
|---|---|---|---|
| 2 | |||
| 3 | |||
| 4 | Вот список 11 статей про фаззинг RISC-V на уровне ассемблерного кода с интересными техниками мутации: |
||
| 5 | |||
| 6 | 1. **FuzzWiz: Fuzzing RISC-V Processors using Wizard-Guided Mutation** (2024) |
||
| 7 | - *Автор:* Не указан в ссылке, доступен в [arXiv](https://arxiv.org/pdf/2410.17732) |
||
| 8 | - *О чем:* Новый фаззер, использующий техники мутации для тестирования RISC-V процессоров. |
||
| 9 | |||
| 10 | 2. **Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing** (2022) |
||
| 11 | - *Авторы:* Niklas Bruns, V. Herdt, Daniel Große, R. Drechsler |
||
| 12 | - *О чем:* Использует coverage-guided фаззинг с кастомными мутациями для проверки RISC-V процессоров. |
||
| 13 | - [Ссылка](https://consensus.app/papers/efficient-crosslevel-processor-verification-using-bruns-herdt/cffaec792461567eb4360b9e12fb8303/?utm_source=chatgpt) |
||
| 14 | |||
| 15 | 3. **Verifying Instruction Set Simulators using Coverage-guided Fuzzing** (2019) |
||
| 16 | - *Авторы:* V. Herdt, Daniel Große, H. M. Le, R. Drechsler |
||
| 17 | - *О чем:* Фаззинг для проверки корректности симуляторов RISC-V на уровне инструкций. |
||
| 18 | - [Ссылка](https://consensus.app/papers/verifying-instruction-set-simulators-using-herdt-große/c1c1ae19648951ddae4c556f159498bc/?utm_source=chatgpt) |
||
| 19 | |||
| 20 | 4. **MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation** (2023) |
||
| 21 | - *Авторы:* Jinyan Xu, Yiyuan Liu, Sirui He, Haoran Lin, Yajin Zhou, Cong Wang |
||
| 22 | - *О чем:* Новый фаззер для RISC-V, использующий runtime instruction morphing и динамическую мутацию инструкций. |
||
| 23 | - [Ссылка](https://consensus.app/papers/morfuzz-fuzzing-processor-via-runtime-instruction-xu-liu/4e3383b5677455bf8ef1170f968e0446/?utm_source=chatgpt) |
||
| 24 | |||
| 25 | 5. **Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification** (2023) |
||
| 26 | - *Авторы:* Milan Funck, Sallar Ahmadi-Pour, V. Herdt, R. Drechsler |
||
| 27 | - *О чем:* Использует мутации на уровне ISA для улучшения верификации RISC-V процессоров. |
||
| 28 | - [Ссылка](https://consensus.app/papers/identification-of-isalevel-mutationclasses-for-funck-ahmadi-pour/0aa66e3e365a5bf6adc212c41eb1a279/?utm_source=chatgpt) |
||
| 29 | |||
| 30 | 6. **Cascade: CPU Fuzzing via Intricate Program Generation** (2024) |
||
| 31 | - *Авторы:* Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi |
||
| 32 | - *О чем:* Генерация сложных программ для фаззинга процессоров RISC-V. |
||
| 33 | - [Ссылка](https://consensus.app/papers/cascade-cpu-fuzzing-via-intricate-program-generation-solt-ceesay-seitz/ead795cdf6915c06971cdda66fc5e2d3/?utm_source=chatgpt) |
||
| 34 | |||
| 35 | 7. **Mutation-based Compliance Testing for RISC-V** (2021) |
||
| 36 | - *Авторы:* V. Herdt, Sören Tempel, Daniel Große, R. Drechsler |
||
| 37 | - *О чем:* Применение мутационного фаззинга для проверки соответствия процессоров RISC-V стандарту. |
||
| 38 | - [Ссылка](https://consensus.app/papers/mutationbased-compliance-testing-for-riscv-herdt-tempel/147a019b399052d8a20c96ef9fb61b58/?utm_source=chatgpt) |
||
| 39 | |||
| 40 | 8. **FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection** (2024) |
||
| 41 | - *Авторы:* Nusrat Farzana Dipu, Muhammad Monir Hossain, K. Z. Azar, Farimah Farahmandi, M. Tehranipoor |
||
| 42 | - *О чем:* Инструмент для фаззинга уязвимостей в SoC с использованием формальных методов и мутаций. |
||
| 43 | - [Ссылка](https://consensus.app/papers/formalfuzzer-formal-verification-assisted-fuzz-testing-dipu-hossain/96a28a8fad2a5edbafc843fed64d292f/?utm_source=chatgpt) |
||
| 44 | |||
| 45 | 9. **WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors** (2024) |
||
| 46 | - *Авторы:* P. Borkar, Chen Chen, Mohamadreza Rostami, Nikhilesh Singh, Rahul Kande, A. Sadeghi, Chester Rebeiro, Jeyavijayan Rajendran |
||
| 47 | - *О чем:* Фаззинг для обнаружения уязвимостей тайминга в RISC-V процессорах. |
||
| 48 | - [Ссылка](https://consensus.app/papers/whisperfuzz-whitebox-fuzzing-for-detecting-and-locating-borkar-chen/6857834f6a145b4aac11133ed60d8299/?utm_source=chatgpt) |
||
| 49 | |||
| 50 | 10. **Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion** (2021) |
||
| 51 | - *Авторы:* Sallar Ahmadi-Pour, V. Herdt, R. Drechsler |
||
| 52 | - *О чем:* Использование случайных генераторов тестов и мутаций для фаззинга процессоров RISC-V. |
||
| 53 | - [Ссылка](https://consensus.app/papers/constrained-random-verification-for-riscv-overview-ahmadi-pour-herdt/a8f7f5a132e35e3f899249d0bfce4e48/?utm_source=chatgpt) |
||
| 54 | |||
| 55 | 11. **Hardware Support to Improve Fuzzing Performance and Precision** (2021) |
||
| 56 | - *Авторы:* Ren Ding, Yonghae Kim, F. Sang, Wen Xu, Gururaj Saileshwar, Taesoo Kim |
||
| 57 | - *О чем:* Использование аппаратных средств для ускорения фаззинга RISC-V процессоров. |
||
| 58 | - [Ссылка](https://consensus.app/papers/hardware-support-to-improve-fuzzing-performance-and-ding-kim/ffa14ba401d95d9f98756b635f8a4989/?utm_source=chatgpt) |
||
| 59 | |||
| 60 | Этот список включает статьи с различными техниками фаззинга, мутациями и проверкой процессоров на уровне ассемблерного кода. |