Diego Sempreboni

According to our database, Diego Sempreboni authored at least 10 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A mutation-based approach for the formal and automated analysis of security ceremonies.

Diego Sempreboni, Luca Viganò

J. Comput. Secur., 2023

2020

A formal approach for the analysis of the security of socio-technical systems.

Diego Sempreboni

PhD thesis, 2020

Privacy, Security and Trust in the Internet of Neurons.

Diego Sempreboni, Luca Viganò

Proceedings of the Socio-Technical Aspects in Security and Trust, 2020

X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies.

Diego Sempreboni, Luca Viganò

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

2019

What Are the Threats? (Charting the Threat Models of Security Ceremonies).

Diego Sempreboni, Giampaolo Bella, Rosario Giustolisi, Luca Viganò

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

An Investigation into the "Beautification" of Security Ceremonies.

Giampaolo Bella, Karen Renaud, Diego Sempreboni, Luca Viganò

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

2018

Schrödinger's Man.

Luca Viganò, Diego Sempreboni

CoRR, 2018

Smart Humans... WannaDie?

Diego Sempreboni, Luca Viganò

CoRR, 2018

Gnirut: The Trouble With Being Born Human In An Autonomous World.

Luca Viganò, Diego Sempreboni

Proceedings of the Companion Proceedings of the The Web Conference 2018, 2018

MMM: May I Mine Your Mind.

Diego Sempreboni, Luca Viganò

Proceedings of the Companion Proceedings of the The Web Conference 2018, 2018