250 citations · 863 across the 66 of their papers we have counts for
6 papers · 1 filter
Area-Optimal Control Strategies for Heterogeneous Multi-Agent Pursuit
Kamal Mammadov, Damith C. Ranasinghe
This paper presents a novel strategy for a multi-agent pursuit-evasion game involving multiple faster pursuers with heterogenous speeds and a single slower evader. We define a geom…
Certified but Fooled! Breaking Certified Defences with Ghost Certificates
Quoc Viet Vo, Tashreque M. Haq, Paul Montague +3
Certified defenses promise provable robustness guarantees. We study the malicious exploitation of probabilistic certification frameworks to better understand the limits of guarante…
Joint Estimation of Sea State and Vessel Parameters Using a Mass-Spring-Damper Equivalence Model
Ranjeet K. Tiwari, Daniel Sgarioto, Peter Graham +3
Real-time sea state estimation is vital for applications like shipbuilding and maritime safety. Traditional methods rely on accurate wave-vessel transfer functions to estimate wave…
Mysteries of the Deep: Role of Intermediate Representations in Out of Distribution Detection
I. M. De la Jara, C. Rodriguez-Opazo, D. Teney +2
Out-of-distribution (OOD) detection is essential for reliably deploying machine learning models in the wild. Yet, most methods treat large pre-trained models as monolithic encoders…
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…