CyberSEA Research 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: ieeexplore.ieee.org/document/10321… #components #software #formalmethods

Our recent paper "Single and Combined #Cyberattack Impact on Industrial #Wastewater Systems" is now available online! 📄Check out the full text here: ieeexplore.ieee.org/document/10314… #criticalinfrastructure #security #impact #simulation

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: link.springer.com/chapter/10.100… #security #assurance #requirements

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

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: dl.acm.org/doi/10.1145/35… #security #patterns #machinelearning #data

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: dl.acm.org/doi/10.1145/35… #security #SoftwareEngineering

🚨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: carleton.ca/cybersea/posit… #gradschool #research

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!

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 carleton.ca/cybersea/2022/…

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: cyber.gc.ca/en/what-voice-…

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: carleton.ca/cybersea/2022/…

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: report.antifraudcentre.ca

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: techradar.com/news/steam-use…

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.”

@AkwasiAbramp Available positions within our lab can be found here: carleton.ca/cybersea/posit…

@CyberSEA_Lab Please does your lab takes students on intenship program?

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!

To kick off #CyberMonth2022, why not check out some of our #research in #Cybersecurity #Evaluation and #Assurance @Carleton_U @CarletonEngDesg @CarletonSce 🔗Learn more here: carleton.ca/cybersea/

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!

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: ieeexplore.ieee.org/document/98603… #threatmodelling #STRIDE #vehicles

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: ieeexplore.ieee.org/document/98388… #security #cybersecurity #formalmethods