Overview

Leila Delshadtehrani is a researcher listed with the Department of ECE at Boston University in the author block of the paper "ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance."

Research

Delshadtehrani is one of the co-authors of ProcessorFuzz, a paper presenting a processor fuzzer that uses a CSR-transition coverage metric to guide fuzzing. The paper describes ProcessorFuzz as monitoring transitions in Control and Status Registers (CSRs), which control and hold processor state, so that CSR transitions can indicate new processor states for fuzzing exploration.

The paper reports an evaluation on three open-source RISC-V processors—Rocket, BOOM, and BlackParrot—and states that ProcessorFuzz triggered ground-truth bugs 1.23× faster on average than DIFUZZRTL. It also reports that experiments exposed eight new bugs across those three RISC-V cores and one new bug in a reference model, with all nine bugs confirmed by the relevant project developers.