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.
Positions are currently available!
We have several funded positions available for undergraduate and graduate levels!
Announcements
-
Undergraduate and Graduate Level Student Researcher Positions Available for Summer and Fall 2026
We are actively seeking applicants for several new funded positions starting in Summer and Fall 2026. Check out the postings below and see the list of…
-
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…
Quick Links
Research
People
