Datasets
- 2 results
Search results
-
Quantitative Comparisons of MITRE ATT&CK Campaigns
Nicoletti, S. M. (Creator), Lopuhaä - Zwakenberg, M. A. (Creator), Stoelinga, M. (Creator), Massacci, F. (Creator) & Budde, C. (Creator), 4TU.Centre for Research Data, 30 Aug 2024
DOI: 10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d, https://data.4tu.nl/datasets/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d and 2 more links, https://data.4tu.nl/datasets/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d/1, https://doi.org/10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d.v1 (show fewer)
Dataset
-
Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Saaltink, C. (Creator), Nicoletti, S. M. (Creator), Volk, M. (Creator), Hahn, E. M. (Creator) & Stoelinga, M. (Creator), Zenodo, 21 Jul 2023
DOI: 10.5281/zenodo.8172548, https://zenodo.org/record/8172549 and 3 more links, https://zenodo.org/record/10940255, https://doi.org/10.5281/zenodo.8172549, https://doi.org/10.5281/zenodo.10940255 (show fewer)
Dataset