Diego Sempreboni

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 12

Top Topics

Information Security

Formal Analysis

Electronic Transactions

Biometric Template

Top Venues

WWW (Companion Volume)

Publications

Diego Sempreboni, Luca Viganò
A mutation-based approach for the formal and automated analysis of security ceremonies. J. Comput. Secur. 31 (4) (2023)
Diego Sempreboni, Luca Viganò
X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies. EuroS&P (2020)
Diego Sempreboni, Luca Viganò
Privacy, Security and Trust in the Internet of Neurons. STAST (2020)
Giampaolo Bella, Karen Renaud, Diego Sempreboni, Luca Viganò
An Investigation into the "Beautification" of Security Ceremonies. ICETE (2) (2019)
Diego Sempreboni, Giampaolo Bella, Rosario Giustolisi, Luca Viganò
What Are the Threats? (Charting the Threat Models of Security Ceremonies). ICETE (2) (2019)
Diego Sempreboni, Luca Viganò
Privacy, Security and Trust in the Internet of Neurons. CoRR (2018)
Luca Viganò, Diego Sempreboni
Gnirut: The Trouble With Being Born Human In An Autonomous World. CoRR (2018)
Diego Sempreboni, Luca Viganò
MMM: May I Mine Your Mind? CoRR (2018)
Diego Sempreboni, Luca Viganò
MMM: May I Mine Your Mind. WWW (Companion Volume) (2018)
Luca Viganò, Diego Sempreboni
Schrödinger's Man. CoRR (2018)
Diego Sempreboni, Luca Viganò
Smart Humans... WannaDie? CoRR (2018)
Luca Viganò, Diego Sempreboni
Gnirut: The Trouble With Being Born Human In An Autonomous World. WWW (Companion Volume) (2018)