No category posts are available.
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 …
Our recent paper “Formal Model-Based Traceability for Security Compliance in Satellite Control Systems” is now available online. This work addresses the challenge of maintaining security …
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.
