Projects

Search:

Browse All Projects »

Newest Projects

• Developing New Mechanisms to Enable Open Source Software (OSS) Supply Chain Transparency

  Principal Investigator: Sabine Brunswicker

• Secured and Safe Assured Autonomy (S2A2) for Urban Air Mobility (UAM)

  Principal Investigator: Inseok Hwang

• Hybrid UAM Model Checking

  Principal Investigator: James Goppert

• Secure and Safe Assured Autonomy

  Principal Investigator: Shaoshuai Mou

• EAGER: SaTC-EDU: Cybersecurity Education in the Age of Artificial Intelligence: A Novel Proactive and Collaborative Learning Paradigm

  Principal Investigator: Baijian Yang

• Inter-Play Between Cyberscurity and Deep-Learning

  Principal Investigator: Xukai Zou

• Building an Electronic Voting Technology Inspired Interactive Teaching and Learning Framework for Cybersecurity Education

  Principal Investigator: Xukai Zou

• Intelligent Transportation Systems

  Principal Investigator: Vaneet Aggarwal

• Temporal Abstractions in Multi-Agent Reinforcement Learning

  Principal Investigator: Vaneet Aggarwal

• Securing Deeply Embedded Devices

  Principal Investigator: Aravind Machiry

• Binary Patch Verification

  Principal Investigator: Aravind Machiry

• New Frontiers in Fuzzing

  Principal Investigator: Aravind Machiry

• Zero Cost Spatial Memory Safety

  Principal Investigator: Aravind Machiry

• History of Integer Factoring

  Principal Investigator: Samuel Wagstaff

• Strengthening the Baillie-PSW primality test

  Principal Investigator: Samuel Wagstaff