Expertise
Computer Science
- Attack
- Security Properties
- Booleans
- Security Survey
- Malicious Attack
- Survey
- Decision-Making
- Threat
Organisations
Publications
2024
Dodge: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Hahn, E. M., Fumagalli, M., Guizzardi, G. & Stoelinga, M.https://doi.org/10.48550/arXiv.2412.13964How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package) (2024)[Dataset Types › Dataset]. Zenodo. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Stoelinga, M., Massacci, F. & Budde, C. E.https://doi.org/10.5281/zenodo.14193935If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis (2024)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Nicoletti, S. M.https://doi.org/10.3990/1.9789036563437How hard can it be?: Quantifying MITRE attack campaigns with attack trees and cATM logic (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Stoelinga, M., Massacci, F. & Budde, C. E.https://doi.org/10.48550/arXiv.2410.06692Quantitative Comparisons of MITRE ATT&CK Campaigns (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Nicoletti, S. M., Lopuhaä - Zwakenberg, M. A., Stoelinga, M., Massacci, F. & Budde, C.https://doi.org/10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10dQuerying Fault and Attack Trees: Property Specification on a Water Network (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2401.16015Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry (2024)Electronic proceedings in theoretical computer science, 398, 85-100. Quaresma, P., Graziani, P. & Nicoletti, S. M.https://doi.org/10.48550/arXiv.2401.11905Querying Fault and Attack Trees: Property Specification on a Water Network (2024)In 2024 Annual Reliability and Maintainability Symposium (RAMS) (Proceedings, Annual Reliability and Maintainability Symposium). IEEE. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1109/RAMS51492.2024.10457796
2023
Model-Based Joint Analysis of Safety and Security: Survey and Identification of Gaps (2023)Computer science review, 50. Article 100597. Nicoletti, S. M., Peppelman, M., Kolb, C. & Stoelinga, M.https://doi.org/10.1016/j.cosrev.2023.100597Solving Queries for Boolean Fault Tree Logic via Quantified SAT (2023)In FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems: 2023 Proceeding (pp. 48-59). ACM Press. Saaltink, C., Nicoletti, S. M., Volk, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1145/3623503.3623535
Research profiles
Address
University of Twente
Zilverling (building no. 11), room 3126
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3126
P.O. Box 217
7500 AE Enschede
Netherlands
Organisations
Scan the QR code or
Download vCard
Download vCard