Skip to Main Content
  • Carleton.ca
  • About
  • Admissions
    • Undergraduate
    • Graduate
  • Academics
  • Research
  • Campus
  • Future Students
    • Undergraduate
    • Graduate
  • Current Students
    • Undergraduate
    • Graduate
  • Faculty/Staff
  • Alumni
Carleton University Carleton University shield

CyberSEA

  • Search CyberSEA Magnifying glass
  • Browse site navigation Menu icon

Home / Announcements

Announcements

Banner image for Announcements
  • Announcements
  • Research
  • People
    • Current Students
    • CyberSEA Alumni
  • Projects
  • Publications
  • Software Tools
    • Compass: A Toolkit for Secure System Design Tools
      • Merak: Asset Threat Analysis Tool
      • Polaris: Structural Security Posture Analysis Tool
      • Dubhe: Behavioural Security Posture Analysis Tool
    • Security Metrics Soundness Evaluation Tool
    • Implicit Interactions Analysis Tool
  • Partners and Sponsors
  • Photo Gallery
  • Video Gallery
  • ★ Positions Available
A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

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

A thumbnail image to accompany the post

Friday, April 4, 2025

New Publication: Enhancing Security and Efficiency in Vehicle-to-Sensor Authentication: A Multi-Factor Approach with Cloud Assistance

Our recent work on "Enhancing Security and Efficiency in Vehicle-to-Sensor Authentication: A Multi-Factor... More

A thumbnail image to accompany the post

Friday, March 7, 2025

CyberSEA Research Lab Welcomes Visitors for Brno University of Technology

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

Load More →

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

  • Systems and Computer Engineering
  • Canal Building
  • Carleton University
  • 1125 Colonel By Drive
  • Ottawa, ON, K1S 5B6
  • CyberSEA
  • Phone: 613-520-2600 x1873
  • View Map  |  Contact Us
  • Follow us on TwitterTwitter Icon
  • Viuew us on LinkedInLinkedIn Icon
Visit Carleton University Homepage
  • Privacy Policy
  • Accessibility
  • © Copyright 2025

Search

Site Menu

  • Announcements
  • Research
  • People
    • Current Students
    • CyberSEA Alumni
  • Projects
  • Publications
  • Software Tools
    • Compass: A Toolkit for Secure System Design Tools
      • Merak: Asset Threat Analysis Tool
      • Polaris: Structural Security Posture Analysis Tool
      • Dubhe: Behavioural Security Posture Analysis Tool
    • Security Metrics Soundness Evaluation Tool
    • Implicit Interactions Analysis Tool
  • Partners and Sponsors
  • Photo Gallery
  • Video Gallery
  • ★ Positions Available

Social Media

  • Twitter
  • LinkedIn