Controller-Attacker Games for Multi-Agent Systems (Professors Scott Stoller and Scott Smolka)
Verified AI in Cyber-Physical Systems through Input Quantization (Professor Stanley Bak)
The Science of Fuzz Testing Autonomous Cyber-Physical Systems (Professor Stanley Bak)
Verifying Sensor-Noise Robustness of Reinforcement Learning (Professors Stanley Bak and Amir Rahmati
WebSheets: A New Privacy-Centric Framework for Web Applications (Professors R. Sekar, Scott Stoller and IV Ramakrishnan)
Configuration for Assurance: Safe, Live, and Secure Distributed Systems (Professors Yanhong Liu and Scott Stoller)