3 papers
cs.CR2026
DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monolithic Firmware Fuzzing
Guy Farrelly, Michael Chesser, Seyit Camtepe +1
The rise of smart devices in critical domains--including automotive, medical, industrial--demands robust firmware testing. Fuzzing firmware in re-hosted environments is a promising…
cs.CR2026
FirmReBugger: A Benchmark Framework for Monolithic Firmware Fuzzers
Mathew Duong, Michael Chesser, Guy Farrelly +2
Monolithic Firmware is widespread. Unsurprisingly, fuzz testing firmware is an active research field with new advances addressing the unique challenges in the domain. However, unde…
cs.CR2025
An Automated Blackbox Noncompliance Checker for QUIC Server Implementations
Kian Kai Ang, Guy Farrelly, Cheryl Pope +1
We develop QUICtester, an automated approach for uncovering non-compliant behaviors in the ratified QUIC protocol implementations (RFC 9000/9001). QUICtester leverages active autom…