Diego Sempreboni

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