From the 2 of 20 linked papers with an AI index.
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…
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…
Bayesian Low-Rank LeArning (Bella): A Practical Approach to Bayesian Neural Networks
Bao Gia Doan, Afshar Shamsi, Xiao-Yu Guo +6
Computational complexity of Bayesian learning is impeding its adoption in practical, large-scale tasks. Despite demonstrations of significant merits such as improved robustness and…