The STARTS project aims to create a methodology for the security assessment of software based on TrustZone-M technology and a novel verification and validation framework to implement this methodology. Indeed, the framework will be able to automatically test software based on TrustZone-M technology providing security insights.


It researches how the code can be tested in this new category of processors and which vulnerabilities are in secure software.


It aims to design a new methodology and new methods, and to implement them in a novel verification framework.


It is a two-year project, starting in May 2020, but with a huge potential for future research and development.


It is supported by the Luxembourg National Research Fund (FNR)

Open Source Code

The STARTS project will publish its framework and related tools on github as open-source projects. The whole community should ensure cybersecurity in their products and service!

The Research Team

Dr. Antonio Ken Iannillo


Research Associate at the Interdisciplinary Centre for Security, Reliability, and Trust (SnT), University of Luxembourg, in the SEDAN group.



(Research Associate)

The University of Luxembourg is seeking to hire a highly motivated and an outstanding researcher. Interested in the project? Don’t hesitate to contact us below!


Dr. Prof. Radu State

(Local Advisor)

Head of the SEDAN (service and data management) research group at the University of Luxembourg’s Interdisciplinary Centre for Security, Reliability, and Trust (SnT).

Dr. Prof. Radu Sion

(Abroad Mentor)

Director of the National Security Institute, Associate Professor of Computer Science at Stony Brook University, and the Founder CEO of Private Machines Inc.

Contact us if you are interested in the open position!

or apply diretly at this link