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: 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…
-
New Publication: Secure Deployment of Smart Meters
Check out our latest article “Secure Deployment of Smart Meters” which is available open access in IET Generation, Transmission & Distribution. This paper presents a security-focused…
Quick Links
Research
People
