A Calculus for the Analysis of Wireless Network Security Protocols. - Francesco Ballardin; Massimo Merro (Formal Aspects in Security and Trust, 2010)

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks - Francesco Ballardin; Damiano Macedonio; Massimo Merro; Mattia Tirapelle (CoRR, 2011)

A timed calculus for wireless systems. - Massimo Merro; Francesco Ballardin; Eleonora Sibilio (Theor. Comput. Sci., 2011)

CeVRicale: A VR app for Cervical Rehabilitation. - Arnaldo Cesco; Francesco Ballardin; Gustavo Marfia (VR Workshops, 2021)