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.
You (?) - OPEN POSITION
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
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
Director of the National Security Institute, Associate Professor of Computer Science at Stony Brook University, and the Founder CEO of Private Machines Inc.