1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.CR2026
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…
cs.CR2023
Make out like a (Multi-Armed) Bandit: Improving the Odds of Fuzzer Seed Scheduling with T-Scheduler
Simon Luo, Adrian Herrera, Paul Quirk +3
Fuzzing is a highly-scalable software testing technique that uncovers bugs in a target program by executing it with mutated inputs. Over the life of a fuzzing campaign, the fuzzer…
cs.CR2023★ 1 cited
SplITS: Split Input-to-State Mapping for Effective Firmware Fuzzing
Guy Farrelly, Paul Quirk, Salil S. Kanhere +2
Ability to test firmware on embedded devices is critical to discovering vulnerabilities prior to their adversarial exploitation. State-of-the-art automated testing methods rehost f…