MMM: May I Mine Your Mind. - Diego Sempreboni; Luca Viganò 001 (WWW (Companion Volume), 2018)

Gnirut: The Trouble With Being Born Human In An Autonomous World. - Luca Viganò 001; Diego Sempreboni (WWW (Companion Volume), 2018)

Smart Humans... WannaDie? - Diego Sempreboni; Luca Viganò 001 (CoRR, 2018)

Schrödinger's Man. - Luca Viganò 001; Diego Sempreboni (CoRR, 2018)

An Investigation into the "Beautification" of Security Ceremonies. - Giampaolo Bella; Karen Renaud; Diego Sempreboni; Luca Viganò 001 (ICETE (2), 2019)

What Are the Threats? (Charting the Threat Models of Security Ceremonies). - Diego Sempreboni; Giampaolo Bella; Rosario Giustolisi; Luca Viganò 001 (ICETE (2), 2019)

X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies. - Diego Sempreboni; Luca Viganò 001 (EuroS&P, 2020)

Privacy, Security and Trust in the Internet of Neurons. - Diego Sempreboni; Luca Viganò 001 (STAST, 2020)

A formal approach for the analysis of the security of socio-technical systems. - Diego Sempreboni (2020)

A mutation-based approach for the formal and automated analysis of security ceremonies. - Diego Sempreboni; Luca Viganò 001 (J. Comput. Secur., 2023)