Simulative Evaluation of Security Attacks in Networked Critical Infrastructures. - Marco Tiloca; Francesco Racciatti; Gianluca Dini (SAFECOMP Workshops, 2015)

Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. - Cinzia Bernardeschi; Gianluca Dini; Maurizio Palmieri; Francesco Racciatti (ICISSP, 2020)

A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks. - Cinzia Bernardeschi; Gianluca Dini; Maurizio Palmieri; Francesco Racciatti (J. Comput. Virol. Hacking Tech., 2021)