Fuzzing Articles¶

1. FuzzWiz: Fuzzing RISC-V Processors using Wizard-Guided Mutation (2024)
- Авторы: D. Narayan, A. Kumar, D. Lettnin, S. Simon1
- О чем: Новый фаззер, использующий техники мутации для тестирования 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 процессоров.
- Ссылка

3. Verifying Instruction Set Simulators using Coverage-guided Fuzzing (2019)
- Авторы: V. Herdt, Daniel Große, H. M. Le, R. Drechsler
- О чем: Фаззинг для проверки корректности симуляторов RISC-V на уровне инструкций.
- Ссылка

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 и динамическую мутацию инструкций.
- Ссылка

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 процессоров.
- Ссылка

6. Cascade: CPU Fuzzing via Intricate Program Generation (2024)
- Авторы: Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi
- О чем: Генерация сложных программ для фаззинга процессоров RISC-V.
- Ссылка

7. Mutation-based Compliance Testing for RISC-V (2021)
- Авторы: V. Herdt, Sören Tempel, Daniel Große, R. Drechsler
- О чем: Применение мутационного фаззинга для проверки соответствия процессоров RISC-V стандарту.
- Ссылка

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 с использованием формальных методов и мутаций.
- Ссылка

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 процессорах.
- Ссылка

10. Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion (2021)
- Авторы: Sallar Ahmadi-Pour, V. Herdt, R. Drechsler
- О чем: Использование случайных генераторов тестов и мутаций для фаззинга процессоров RISC-V.
- Ссылка

11. Hardware Support to Improve Fuzzing Performance and Precision (2021)
- Авторы: Ren Ding, Yonghae Kim, F. Sang, Wen Xu, Gururaj Saileshwar, Taesoo Kim
- О чем: Использование аппаратных средств для ускорения фаззинга RISC-V процессоров.
- Ссылка