CyberSEA Research Lab

Cyber Security Evaluation and Assurance (CyberSEA) Research Lab led by @JasonJaskolka within the Department of Systems and Computer Engineering @CarletonSce

[CyberSEA Research Lab @CyberSEA_Lab]

Our latest research paper "#Specification and #Verification of Communication Paradigms for #CBSE in Event B" is now online!

📄Check out the full text here: https://t.co/C7MisdQvDM

#components #software #formalmethods

[CyberSEA Research Lab @CyberSEA_Lab]

Our recent paper "Single and Combined #Cyberattack Impact on Industrial #Wastewater Systems" is now available online!

📄Check out the full text here: https://t.co/O3BBKu2EEh

#criticalinfrastructure #security #impact #simulation

[CyberSEA Research Lab @CyberSEA_Lab]

Our paper "Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy" is now available online! This is joint work with @IRIToulouse and @CEA_List.

📄Check out the full text here: https://t.co/ZNtVWQeYk8

#security #assurance #requirements

[CyberSEA Research Lab @CyberSEA_Lab]

We are pleased to welcome Zoe Arnott to our team. Zoe joins us as an @NSERC_CRSNG #USRA recipient. Zoe will explore #tools for analyzing the #impact of #cyberattacks on industrial #cyber-physical systems. Welcome Zoe!

@CarletonSce
@CarletonEngDesg
@cu_research

[CyberSEA Research Lab @CyberSEA_Lab]

Congratulations to PhD student Xinrui Zhang! Her @euPLoP 2022 paper "#Security #Patterns for #MachineLearning: The Data-Oriented Stages" is now available online.

📄Check out the full text here: https://t.co/r41A7T9pRr

#security #patterns #machinelearning #data

[CyberSEA Research Lab @CyberSEA_Lab]

Our paper "Towards the Integration of #HumanFactors in Collaborative #Decision Making for #Secure #Architecture #Design" is now available online!

📄Check out the full text here: https://t.co/Ss9Bqpzpjg

#security #SoftwareEngineering

[CyberSEA Research Lab @CyberSEA_Lab]

🚨Positions Available 🚨We have #PhD and #Masters positions available starting in Fall 2023. Topics include: #cybersecurity #assurance #standards #software #architecturedesign #humanfactors.

🔗For more info and how to apply: https://t.co/IERch5kAjr

#gradschool #research

[CyberSEA Research Lab @CyberSEA_Lab]

Now that we nearing the end of #CyberMonth2022, it doesn't mean that we done thinking about staying safe online. We hope that the tips and stories shared by our lab members gave you plenty to think about and will help you to #FightPhishing and @GetCyberSafe every day of the year!

[CyberSEA Research Lab @CyberSEA_Lab]

Gieorgi is a Master’s student in our lab. His #CyberMonth2022 #FightPhishing tip is: Be aware of what you post on social media platforms, websites, and other public spaces! Cybercriminals can collect this information very easily. For more of the story see https://t.co/IQ6aM7gF4P

[CyberSEA Research Lab @CyberSEA_Lab]

Xinrui is a PhD student in our lab. Her #CyberMonth2022 #FightPhishing tip is: Learn about #vishing where an attacker leaves voicemail messages with fake phone numbers to lure recipients to call back and reveal sensitive information. Learn more here: https://t.co/ClCnM0aTs7

[CyberSEA Research Lab @CyberSEA_Lab]

John is a Master’s student in our lab. His #CyberMonth2022 #FightPhishing tip is: Don't be afraid to double check if anything ever feels suspicious. To provide context for his tip, John shares his story of when he almost fell victim to a phishing scam: https://t.co/7pe0GaMhS0

[CyberSEA Research Lab @CyberSEA_Lab]

Dylan is a Master’s student in our lab. His #CyberMonth2022 #FightPhishing tip is: Learn how to report phishing! Reporting phishing helps law enforcement prevent future phishing attacks on other Canadians. Report phishing to the Canadian Anti-Fraud Centre: https://t.co/Gc10VKtWbI

[CyberSEA Research Lab @CyberSEA_Lab]

Alvi is a PhD student in our lab. His #CyberMonth2022 #FightPhishing tip is: Gamers Beware! Recent scams such as Steam phishing and identity theft may lead to you losing access to your account, games, and items.Check this TechRadar article for more: https://t.co/ngYG4Uu8LT

[CyberSEA Research Lab @CyberSEA_Lab]

Loïc is a PhD student in our lab. His #CyberMonth2022 #FightPhishing tip is: Set and follow rules for yourself when dealing with phishy emails. His personal rules are listed below. He says “These rules works great for me, but it is always a battle against myself to follow them.”

[CyberSEA Research Lab @CyberSEA_Lab]

@AkwasiAbramp Available positions within our lab can be found here: https://t.co/IERch5l88Z

[CyberSEA Research Lab @CyberSEA_Lab]

Bohdana is a Master's Student in our lab. Her #CyberMonth2022 #FightPhishing tip is: Stay vigilant for phishing on #socialmedia. Check out the images below for more info on how and why to do this!

[CyberSEA Research Lab @CyberSEA_Lab]

To kick off #CyberMonth2022, why not check out some of our #research in #Cybersecurity #Evaluation and #Assurance
@Carleton_U @CarletonEngDesg @CarletonSce

🔗Learn more here: https://t.co/RJXgu3LB3w

[CyberSEA Research Lab @CyberSEA_Lab]

October is Cyber Security Awareness Month (#CyberMonth2022) in 🇨🇦. We are proud to be #GetCyberSafe champions working to help Canadians stay safe online. This year's theme is Fight #Phishing. Stay tuned throughout October for tips to #FightPhishing from our lab members!

[CyberSEA Research Lab @CyberSEA_Lab]

Our paper "A #Threat Model and #Security Recommendations for #IoT Sensors in #Connected Vehicle Networks" is now available online! This paper was presented at the #VTCSpring2022.

📄Check out the full text here: https://t.co/0OQhBpYJa3

#threatmodelling #STRIDE #vehicles

[CyberSEA Research Lab @CyberSEA_Lab]

We are happy to announce that our @IEEEICC paper "A #Formal Analysis of the Efficacy of Rebooting as a #Countermeasure Against #IoT #Botnets" is now available online!

📄Check out the one of the full text here: https://t.co/VkuD5fx76f

#security #cybersecurity #formalmethods