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…
-
Dr. Jaskolka selected as a 2026/2027 Academic Fellow with the Rogers Cybersecure Catalyst
Congratulations to Dr. Jason Jaskolka on his appointment as an Academic Fellow in the Rogers Cybersecure Catalyst Fellowship program! The Rogers Cybersecure Catalyst Fellowship provides…
Quick Links
Research
People
