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 …
CyberSEA Researcher Receives Doctoral Degree at Convocation 2025
CyberSEA Research Lab member Xinrui Zhang received her Doctoral degree at the 2025 Carleton University Convocation Ceremony. Congratulations Xinrui completing your PhD! Wishing you all …
New Publication: A Tool for Enabling Scalable Automation in Security Control Selection
Another of our recent papers “A Tool for Enabling Scalable Automation in Security Control Selection” is now available online. In this work, we create a …
New Publication: An Approach to Determine a System’s Behavioural Security Posture
Our recent paper “An Approach to Determine a System’s Behavioural Security Posture” is now available online. In this paper, we introduce an approach to enhance …