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

Browse Projects

• SigStore: a Transparent Software Supply Chain Storage System

  Principal Investigator: Santiago Torres-Arias

• SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations

  Principal Investigator: Christina Garman

• Standoff Inverse Analysis and Manipulation of Electronic Systems

  Principal Investigator: Edward Delp

• Strengthening the Baillie-PSW primality test

  Principal Investigator: Samuel Wagstaff

• Submodular Bandits

  Principal Investigator: Vaneet Aggarwal

• Subtle Adversarial Intrusion Detection with SONAR Software

  Principal Investigator: Hany Abdel-Khalik

• System Events and Network Traffic Generation for Realistic Cyber Experimentation

  Principal Investigator: Berkay Celik

• Targeted Forensic Data Extraction from Mobile Devices

  Principal Investigator: Umit Karabiyik

• Temporal Abstractions in Multi-Agent Reinforcement Learning

  Principal Investigator: Vaneet Aggarwal

• 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

• Trustworthy Data From Untrusted Services

  Principal Investigator: Sunil Prabhakar

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

  Principal Investigator: Shreyas Sundaram

• Unintended inferences in natural language texts

  Principal Investigator: Julia (Taylor) Rayz

• 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