Mitigating Errors in Air Traffic Control (Professors Stanley Bak and Scott Smolka)
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)
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)