Announcements
New Publication: A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
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 …
New Publication: Secure Deployment of Smart Meters
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 …
Undergraduate and Graduate Level Student Researcher Positions Available for Summer and Fall 2026
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 …
New Publication: SecMLOps: A comprehensive framework for integrating security throughout the machine learning operations lifecycle
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 …
New Publication: Formal Model-Based Traceability for Security Compliance in Satellite Control Systems
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 …
Postdoctoral Fellowship and Undergraduate Student Researcher Positions Available for Fall 2025
We are actively seeking applicants for two new funded positions starting in Fall 2025. Check out the postings below and see the list of Available Positions …