Announcements

Tuesday, December 16, 2025

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... More

Wednesday, August 6, 2025

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... More

Tuesday, July 15, 2025

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 Globalink Research Internship.... More

Monday, June 23, 2025

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... More

Thursday, May 1, 2025

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,... More

Thursday, May 1, 2025

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... More

Tuesday, April 29, 2025

Alvi Jawad Wins a Carleton University Outstanding Teaching Assistant Award

Congratulations to Alvi Jawad on winning a Carleton University Outstanding Teaching Assistant (TA) Award! The Outstanding TA awards celebrate the support TAs give to the... More

Friday, April 25, 2025

New Publication: Uncovering the DevOps Landscape: A Scoping Review and Conceptualization Framework

Our paper "Uncovering the DevOps Landscape: A Scoping Review and Conceptualization Framework" is now available online. While there has been... More

Thursday, April 17, 2025

New Publication: Formal Security Analysis of Deep Neural Network Architecture

Our paper "Formal Security Analysis of Deep Neural Network Architecture" is now available online. In this paper, we propose a formal approach to verify some security properties of... More

Thursday, April 17, 2025

New Publication: A Formal Approach for Verifying and Validating Security Objectives in Software Architecture

Our recent work on "A Formal Approach for Verifying and Validating Security Objectives in Software Architecture" is now available online.... More

Wednesday, April 9, 2025

New Publication: Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B

Our recent work on "A Formal Approach for Verifying and Validating Security Objectives in Software Architecture" is now available online.... More

Wednesday, April 9, 2025

New Publication: A Tool-Supported Methodology for Creating Security Cases Using Argument Patterns

Our latest paper on "A Tool-Supported Methodology for Creating Security Cases Using Argument Patterns" is now available online. This paper... More

Load More →

Share: Twitter, Facebook
Short URL: https://carleton.ca/cybersea/?p=256