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: SecMLOps: A comprehensive framework for integrating security throughout the machine learning operations lifecycle
Our latest article published in Empirical Software Engineering builds upon the concept of Secure Machine Learning Operations (SecMLOps), providing a comprehensive framework designed to integrate…
-
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…
Quick Links
Research
People
