CyberSEA Logo
The Cyber Security Evaluation and Assurance (CyberSEA) Research Lab conducts advanced academic research to develop systematic and rigorous approaches for evaluating and assuring the cyber security of software-dependent systems.

Announcements

A thumbnail image to accompany the post

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

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 Think Tank. The Digital Transformation Think Tank aims to serve as catalyst for reshaping the aviation industry's digital landscape. In an era of rapid technological advancement, this... More

A thumbnail image to accompany the post

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

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. Jaskolka will be presenting on Security Assurance for Deep Neural Network Development. CIS2024 is an essential event for the technology industry, providing leading-edge insight on... More

A thumbnail image to accompany the post

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

Our recent work proposing a methodology to enhance the security of software systems by incorporating compliance verification from the early stages of design is now available online! In this work, we present a novel method for modeling a security compliance baseline based on the specification and reuse of analysis models targeting standards, policies, and... More

More News and Announcements →

Quick Links

View Quicklink: Research

Research

View Quicklink: People

People

View Quicklink: Publications

Publications