Fuzzing Articles » History » Revision 2
Revision 1 (Egor Zheliba, 02/11/2025 03:18 PM) → Revision 2/3 (Egor Zheliba, 02/11/2025 03:22 PM)
h1. Fuzzing Articles Вот список 11 статей про фаззинг RISC-V на уровне ассемблерного кода с интересными техниками мутации: 1. **FuzzWiz: Fuzzing RISC-V Processors using Wizard-Guided Mutation** (2024) - *Автор:* Не указан в ссылке, доступен в "arXiv":https://arxiv.org/pdf/2410.17732 [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 [Ссылка](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 [Ссылка](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 [Ссылка](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 [Ссылка](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 [Ссылка](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 [Ссылка](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 [Ссылка](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 [Ссылка](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 [Ссылка](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 [Ссылка](https://consensus.app/papers/hardware-support-to-improve-fuzzing-performance-and-ding-kim/ffa14ba401d95d9f98756b635f8a4989/?utm_source=chatgpt) Этот список включает статьи с различными техниками фаззинга, мутациями и проверкой процессоров на уровне ассемблерного кода.