250 citations · 863 across the 66 of their papers we have counts for
29 papers · 1 filter
InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy
Michael Chesser, Paul Quirk, Douglas Cooke +3
Processor specifications underpin critical security and program- analysis tools such as disassemblers, decompilers, and emulators, yet, their correctness is rarely examined. Errors…
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…
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…
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…
QUIC-Fuzz: An Effective Greybox Fuzzer For The QUIC Protocol
Kian Kai Ang, Damith C. Ranasinghe
Network applications are routinely under attack. We consider the problem of developing an effective and efficient fuzzer for the recently ratified QUIC network protocol to uncover…
On the Credibility of Backdoor Attacks Against Object Detectors in the Physical World
Bao Gia Doan, Dang Quang Nguyen, Callum Lindquist +7
Object detectors are vulnerable to backdoor attacks. In contrast to classifiers, detectors possess unique characteristics, architecturally and in task execution; often operating in…