Browse Projects
Efficient Source Selection for Machine Learning Tasks
Principal Investigator: Romila PradhanEliminating Regex-based Denial of Service
Principal Investigator: Jamie DavisEnabling Detection of Elusive Malware by Going Out of the Box with Semantically Reconstructed View (OBSERV)
Principal Investigator: Dongyan XuEvaluation of Clinical and Genomic Information Privacy Risks From Inference Attacks
Principal Investigator: Xukai ZouEvaluation of Face Recognition for Law Enforcement: Book-In Photo Acquisition and Surveillance Camera Placement
Principal Investigator: Stephen ElliottEXPLAINABLE AI METHODS FOR ENHANCING AI-BASED NETWORK INTRUSION DETECTION SYSTEMS
Principal Investigator: Mustafa AbdallahExplainable AI: Foundations, Applications, Opportunities for Data Management Research
Principal Investigator: Romila PradhanFAI: Identifying, measuring, and mitigating fairness issues in AI
Principal Investigator: Chris CliftonFormal methods and Fuzzing for security in Internet of Things, embedded systems, real-time operating systems, and general software
Principal Investigator: Jamie DavisFormal Privacy for Multi-stage Probability Samples
Principal Investigator: Chris CliftonFormalizing Enterprise Firewall Management with Informal and Elastic Specifications
Principal Investigator: Xiaokang QiuFoundations of Cyber-Physical Infrastructure for Creative Design and Making of Cyber-physical Products
Principal Investigator: Mike AtallahFoundations of Differential Privacy
Principal Investigator: Jordan AwanFurther Refinement and Integrated Platform for INDOT Traffic Management and Safety Toolset
Principal Investigator: Shu HuGenerating Electricity Managed by Intelligent Nuclear Assets (GEMINA)
Principal Investigator: Lefteri TsoukalasGenerating Interpretable Data-Based Explanations for Fairness Debugging
Principal Investigator: Romila PradhanGenerating Interpretable Diagnostic Explanations for Black-box AI Systems
Principal Investigator: Romila PradhanHigh-fidelity and Trustworthy Teleinteraction Platform
Principal Investigator: Younghyun KimHunting for Insider Threats Using LSTM-based Anomaly Detection
Principal Investigator: Bharat BhargavaHybrid UAM Model Checking
Principal Investigator: James GoppertImproving the Security and Usability of the Wear OS Permission Model
Principal Investigator: Berkay CelikIn-toto: Securing the Software Supply Shain
Principal Investigator: Santiago Torres-AriasIncremental Learning Through Graceful Degradations in Autonomous Systems
Principal Investigator: Bharat BhargavaINSuRE 3.0: INSuRing the Effectiveness of Tomorrow’s Cybersecurity Workforce Today
Principal Investigator: John SpringerIntegrating Large-Scale Machine Learning and Edge Computing for Collaborative Autonomous Vehicles
Principal Investigator: Dengfeng Sun