No category posts are available.
Our latest paper, “A Model-Based Decision-Making Support Framework for Security Architecture Design Decisions,” is now available online. In this paper, we present a model-driven approach that explores …
Our paper,”Towards Formal Security Analysis of Deep Neural Network Architectures,” has been published in Innovations in Systems and Software Engineering. Neural networks are increasingly used in security-critical …
Congratulations to Dr. Jason Jaskolka on his appointment as an Academic Fellow in the Rogers Cybersecure Catalyst Fellowship program! The Rogers Cybersecure Catalyst Fellowship provides …
Our latest article published in Logical Methods in Computer Science is now available online. In this paper, we present a game-theoretic approach for selecting effective …
Check out our latest article “Secure Deployment of Smart Meters” which is available open access in IET Generation, Transmission & Distribution. This paper presents a security-focused …
We are actively seeking applicants for several new funded positions starting in Summer and Fall 2026. Check out the postings below and see the list of …
This site uses cookies to offer you a better browsing experience. Find out more on how we use cookies and how you can change your settings.
