Cyber Security Evaluation and Assurance Research Lab
The Cyber Security Evaluation and Assurance (CyberSEA) Research Lab conducts advanced academic research to develop systematic and rigorous approaches for evaluating and assuring the cyber security of software-dependent systems.
Announcements
-
New Publication: Exploring Dimensions and Metrics of Cyber-to-physical Impact: A Systematic Review
When a cyberattack reaches a food production facility, wastewater treatment plant, or electricity or water distribution system, what exactly happens? How are operations, equipment, and…
-
New Publication: A Model-Based Decision-Making Support Framework for Security Architecture Design Decisions
Our latest paper, “A Model-Based Decision-Making Support Framework for Security Architecture Design Decisions,” is now available online. In this paper, we present a model-driven approach that explores…
-
New Publication: Towards Formal Security Analysis of Deep Neural Network Architectures
Our paper,”Towards Formal Security Analysis of Deep Neural Network Architectures,” has been published in Innovations in Systems and Software Engineering. Neural networks are increasingly used in security-critical…
Quick Links
Research
People
