Stefano M. Nicoletti

Stefano M. Nicoletti is a Researcher at the University of Twente, holding dual affiliations with the Digital Society Institute and the Formal Methods and Tools department. His academic profile features an h-index of 31 with 26 documented research outputs spanning from 2020 to projected publications in 2025, demonstrating consistent scholarly productivity in formal methods for cybersecurity.

Dr. Nicoletti's research expertise encompasses several critical domains in cybersecurity:

• Attack tree modeling and ontological frameworks
• Formal verification of security properties
• Risk management systems using ontology-based approaches
• Boolean logic applications in security analysis
• Quantification of MITRE ATT&CK campaigns
• Interoperability in security modeling frameworks

His recent scholarly trajectory shows increasing focus on applying formal methods to practical security challenges in critical infrastructure, particularly smart grids and aerospace systems. The WATCHDOG framework represents his innovative approach to risk assessment through object-oriented disruption graphs, while his work on ontological lenses for attack trees addresses fundamental issues of adequacy and interoperability in security modeling.

Professional recognition includes:

• Best Paper Award at the 21st International Conference on Software Engineering and Formal Methods (2023)

Dr. Nicoletti maintains active collaborations with prominent researchers including M. Stoelinga, G. Guizzardi, and E.M. Hahn. His research bridges theoretical computer science with practical security applications, contributing significantly to both academic knowledge and potential real-world security solutions through datasets like Quantitative Comparisons of MITRE ATT&CK Campaigns and experimental reproduction packages for attack tree analysis.