From the 2 of 16 linked papers with an AI index.
7 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…
Feature-Space Bayesian Adversarial Learning Improved Malware Detector Robustness
Bao Gia Doan, Shuiqiao Yang, Paul Montague +6
We present a new algorithm to train a robust malware detector. Modern malware detectors rely on machine learning algorithms. Now, the adversarial objective is to devise alterations…
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…