Browse Projects
Teaching and Assessing Threat Modeling Competence in Software Courses using Systems Thinking
Principal Investigator: Jamie DavisTemporal Abstractions in Multi-Agent Reinforcement Learning
Principal Investigator: Vaneet AggarwalTesting and detecting software upgrade failures in data-intensive distributed systems
Principal Investigator: Yongle ZhangTesting Deep Learning Software
Principal Investigator: Lin TanThe Garbled Computer: Towards Computing without Seeing
Principal Investigator: Mike AtallahTowards Machine-learnable Enhancing Framework for Local Differential Privacy
Principal Investigator: Wenhai SunTrusted Medical Information System and Health Informatics
Principal Investigator: Xukai ZouUnderstanding the Impacts of Human Decision-Making on Security and Robustness of Large-Scale Systems
Principal Investigator: Shreyas SundaramUsing GenAI in software engineering education: Efficiency and Cybersecurity
Principal Investigator: Jamie DavisVirtualization-Enabled Malware Research
Principal Investigator: Dongyan XuWhitebox Testing, Debugging, and Repairing for Multi-module Autonomous Vehicles in Near-Collision Traffic Scenarios
Principal Investigator: Tianyi ZhangZero Cost Spatial Memory Safety
Principal Investigator: Aravind Machiryzk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure
Principal Investigator: Christina Garman