www.prismmodelchecker.org
[TLE+24] Paul Tavolato, Robert Luh, Sebastian Eresheim, Simon Gmeiner and Sebastian Schrittwieser. Quantifying the Odds in Real World Attack Scenarios. In Proc. IEEE International Conference on Cyber Security and Resilience (IEEE-CSR'24). 2024. [Proposes an approach to modelling and analyse realistic cyber-attack scenarios, using PRISM for probability calculations.]
Links: [Google] [Google Scholar]

Publications