The Center for Education and Research in Information Assurance and Security (CERIAS)

Browse Projects

• Teaching and Assessing Threat Modeling Competence in Software Courses using Systems Thinking

  Principal Investigator: Jamie Davis

• Temporal Abstractions in Multi-Agent Reinforcement Learning

  Principal Investigator: Vaneet Aggarwal

• Testing and detecting software upgrade failures in data-intensive distributed systems

  Principal Investigator: Yongle Zhang

• Testing Deep Learning Software

  Principal Investigator: Lin Tan

• The Garbled Computer: Towards Computing without Seeing

  Principal Investigator: Mike Atallah

• Towards Machine-learnable Enhancing Framework for Local Differential Privacy

  Principal Investigator: Wenhai Sun

• Trusted Medical Information System and Health Informatics

  Principal Investigator: Xukai Zou

• Understanding the Impacts of Human Decision-Making on Security and Robustness of Large-Scale Systems

  Principal Investigator: Shreyas Sundaram

• Using GenAI in software engineering education: Efficiency and Cybersecurity

  Principal Investigator: Jamie Davis

• Virtualization-Enabled Malware Research

  Principal Investigator: Dongyan Xu

• Whitebox Testing, Debugging, and Repairing for Multi-module Autonomous Vehicles in Near-Collision Traffic Scenarios

  Principal Investigator: Tianyi Zhang

• Zero Cost Spatial Memory Safety

  Principal Investigator: Aravind Machiry

• zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure

  Principal Investigator: Christina Garman