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 …
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 …
Our latest article published in Empirical Software Engineering builds upon the concept of Secure Machine Learning Operations (SecMLOps), providing a comprehensive framework designed to integrate …
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.
