1

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
Like, Comment, Get Scammed: Characterizing Comment Scams on Media Platforms
Xigao Li, Amir Rahmati, Nick Nikiforakis
PDF Project Venue
Provable Observation Noise Robustness for Neural Network Control Systems
Veena Krish, Andrew Mata, Kerianne Hobbs, Stanley Bak, Amir Rahmati
PDF Venue
Erebus: Access Control for Augmented Reality Systems
Sanket Goutam, Yoonsang Kim, Amir Rahmati, Arie Kaufman
PDF Source Document Venue Future Force
Scan Me If You Can: Understanding and Detecting Unwanted Vulnerability Scanning
Xigao Li, Babak Amin Azad, Amir Rahmati, Nick Nikiforakis
PDF Project Venue
Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs
Veena Krish, Nicola Paoletti, Scott A. Smolka, 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