Quantitative model checking for assessing the energy impact of a MITM attack on EPONs. - Polyxeni Tsompanoglou; Sophia G. Petridou; Petros Nicopolitidis; Georgios Papadimitriou 001 (Internet Technol. Lett., 2022)