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: 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…
-
New Publication: A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
Our latest article published in Logical Methods in Computer Science is now available online. In this paper, we present a game-theoretic approach for selecting effective…
Quick Links
Research
People
