ML Security

Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations
Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Veena Krish, Andrew Mata, Amir Rahmati
PDF Venue
Falsification using Reachability of Surrogate Koopman Models
Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
PDF Venue
Provable Observation Noise Robustness for Neural Network Control Systems
Veena Krish, Andrew Mata, Kerianne Hobbs, Stanley Bak, Amir Rahmati
PDF Venue
Accelerating Certified Robustness Training via Knowledge Transfer
Pratik Vaishnavi, Kevin Eykholt, Amir Rahmati
PDF Code Venue Bytez
On the Feasibility of Compressing Certifiably Robust Neural Networks
Pratik Vaishnavi, Veena Krish, Farhan Ahmed, Kevin Eykholt, Amir Rahmati
PDF Code Venue
Transferring Adversarial Robustness Through Robust Representation Matching
Pratik Vaishnavi, Kevin Eykholt, Amir Rahmati
Preprint PDF Code Venue
Ares: A System-Oriented Wargame Framework for Adversarial ML
Farhan Ahmed, Pratik Vaishnavi, Kevin Eykholt, Amir Rahmati
PDF Code Venue