Systems Security, Modeling and Analysis


The call for PhD applications is open!

Deadline: 21 June 2024

About us 


Systems Security Modelling and Analysis (SySMA) is the Research Unit at IMT Lucca that focuses on computer science.

SySMA deals with languages and techniques for the analysis, evaluation, and verification of systems. The SySMA unit goal is to use formal methods as methodological and automatic tools for developing high-quality, correct software and systems that are secure, fast, usable, reusable, maintainable, and modular.

We also study algorithms and systems to protect the security and integrity of computer systems, the information they store, and the people who use them. We make large usage of formal methods as enabling technology also for the security-by-design development model.

Research Topics

Recent publications