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: Formal Model-Based Traceability for Security Compliance in Satellite Control Systems
Our recent paper “Formal Model-Based Traceability for Security Compliance in Satellite Control Systems” is now available online. This work addresses the challenge of maintaining security…
-
Postdoctoral Fellowship and Undergraduate Student Researcher Positions Available for Fall 2025
We are actively seeking applicants for two new funded positions starting in Fall 2025. Check out the postings below and see the list of Available Positions…
-
CyberSEA Research Lab Welcomes Mitacs Globalink Research Intern
The CyberSEA Research Lab has a new Visiting Scholar! Vadym Spirin is joining us from the National Aviation University in Kyiv, Ukraine on a Mitacs…
Quick Links
Research
People
