3 citations · 5 across the 4 of their papers we have counts for
4 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…
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…
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…
Statement-Level Vulnerability Detection: Learning Vulnerability Patterns Through Information Theory and Contrastive Learning
Van Nguyen, Trung Le, Chakkrit Tantithamthavorn +6
Software vulnerabilities are a serious and crucial concern. Typically, in a program or function consisting of hundreds or thousands of source code statements, there are only a few…