Tuesday, July 15, 2025CyberSEA Research Lab Welcomes Mitacs Globalink Research InternThe 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.... MoreMonday, June 23, 2025CyberSEA Researcher Receives Doctoral Degree at Convocation 2025CyberSEA Research Lab member Xinrui Zhang received her Doctoral degree at the 2025 Carleton University Convocation Ceremony. Congratulations Xinrui completing your PhD! Wishing... MoreThursday, May 1, 2025New Publication: A Tool for Enabling Scalable Automation in Security Control SelectionAnother of our recent papers "A Tool for Enabling Scalable Automation in Security Control Selection" is now available online. In this work,... MoreThursday, May 1, 2025New Publication: An Approach to Determine a System’s Behavioural Security PostureOur recent paper "An Approach to Determine a System’s Behavioural Security Posture" is now available online. In this paper, we introduce... MoreTuesday, April 29, 2025Alvi Jawad Wins a Carleton University Outstanding Teaching Assistant AwardCongratulations to Alvi Jawad on winning a Carleton University Outstanding Teaching Assistant (TA) Award! The Outstanding TA awards celebrate the support TAs give to the... MoreFriday, April 25, 2025New Publication: Uncovering the DevOps Landscape: A Scoping Review and Conceptualization FrameworkOur paper "Uncovering the DevOps Landscape: A Scoping Review and Conceptualization Framework" is now available online. While there has been... MoreThursday, April 17, 2025New Publication: Formal Security Analysis of Deep Neural Network ArchitectureOur 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... MoreThursday, April 17, 2025New Publication: A Formal Approach for Verifying and Validating Security Objectives in Software ArchitectureOur recent work on "A Formal Approach for Verifying and Validating Security Objectives in Software Architecture" is now available online.... MoreWednesday, April 9, 2025New Publication: Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-BOur recent work on "A Formal Approach for Verifying and Validating Security Objectives in Software Architecture" is now available online.... MoreWednesday, April 9, 2025New Publication: A Tool-Supported Methodology for Creating Security Cases Using Argument PatternsOur latest paper on "A Tool-Supported Methodology for Creating Security Cases Using Argument Patterns" is now available online. This paper... MoreFriday, April 4, 2025New Publication: Enhancing Security and Efficiency in Vehicle-to-Sensor Authentication: A Multi-Factor Approach with Cloud AssistanceOur recent work on "Enhancing Security and Efficiency in Vehicle-to-Sensor Authentication: A Multi-Factor... MoreFriday, March 7, 2025CyberSEA Research Lab Welcomes Visitors for Brno University of TechnologyThe CyberSEA Research Lab is pleased to welcome David Kohout and Antonín Bohačík. David and Antonin are PhD students from Brno University of Technology in Czechia visiting us... MoreLoad More → Share: Twitter, Facebook Short URL: https://carleton.ca/cybersea/?p=256