Announcements

Friday, July 19, 2024

Winner of the Best Paper Award at QRS 2024!

Our paper "Requirements for Applying SCIA: a Structured Cyberattack Impact Analysis Approach for ICS" was awarded the Best Paper Award at the 24th IEEE International Conference on Software Quality, Reliability, and Security... More

Friday, May 10, 2024

Dylan Léveillé Wins a Carleton University Outstanding Teaching Assistant Award

Not only are our lab members great researchers, but they are also great teachers! Congratulations to Dylan Leveille on winning a Carleton... More

Wednesday, May 1, 2024

CyberSEA Research Lab Co-Hosting SECREV 2024

The CyberSEA Research Lab will be hosting a session of SECREV 2024: The Cybersecurity Revolution on May 10, 2024. Session Title: Securing AI-Based Systems: From Design to Operations to Assurance Session Description: The... More

Saturday, April 27, 2024

New Publication: Hardening Systems Against Data Corruption Attacks at Design Time

Our new publication "Hardening Systems Against Data Corruption Attacks at Design Time " is now available online. This is the work of MASc... More

Friday, April 26, 2024

Stojanche Gjorcheski Appointed as Chair of Digital Transformation Think Tank

Stojanche Gjorcheski, a PhD student in the CyberSEA Research Lab, has been appointed as chair to the Ecole Nationale de l'Aviation Civile (ENAC) Alumni Digital Transformation... More

Thursday, March 14, 2024

Lab Director Jason Jaskolka will be the SPOTLIGHT Presenter at CIS 2024

Jason Jaskolka has been announced as the SPOTLIGHT Presenter at the Cybersecurity & Identity Summit (CIS2024) held from April 30 -May 1, 2024 in Ottawa, ON , Canada. Dr.... More

Thursday, February 22, 2024

New Publication: A Security Compliance-by-Design Framework Utilizing Reusable Formal Models

Our recent work proposing a methodology to enhance the security of software systems by incorporating compliance verification from the early... More

Thursday, February 8, 2024

New Publication: Formal Model-Based Argument Patterns for Security Cases

Our recent paper "Formal Model-Based Argument Patterns for Security Cases" is now available online! This paper proposes an approach to constructing security assurance cases using... More

Saturday, December 23, 2023

New Publication: A Formal Metamodel for Software Architectures with Composite Components

Our recent research paper presenting a formal metamodel for describing the high-level concepts of software architectures in a... More

Monday, November 27, 2023

New Publication: Specification and Verification of Communication Paradigms for CBSE in Event B

Our latest research paper on specifying and verifying communication paradigms in Event B for component-based software systems is now... More

Monday, November 20, 2023

New Publication: Single and Combined Cyberattack Impact on Industrial Wastewater Systems

Our paper studying the impact of single and combined cyberattacks of industrial wastewater systems is now available online! It was... More

Monday, October 2, 2023

New Publication: Eliciting a Security Architecture Requirements Baseline from Standards and Regulations

Our recent work on eliciting a security requirements baseline from standards and regulations is now available online. It was presented at... More

Load More →

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