www.prismmodelchecker.org
[TPNP21] Polyxeni Tsompanoglou, Sophia Petridou, Petros Nicopolitidis and Georgios Papadimitriou. Quantitative model checking for assessing the energy impact of a MITM attack on EPONs. Internet Technology Letters. 2021. [Analyses man in the middle attacks on Ethernet Passive Optical Networks (EPONs) using probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications