Seguir
Diego Sempreboni
Diego Sempreboni
Dirección de correo verificada de kcl.ac.uk
Título
Citado por
Citado por
Año
X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies
D Sempreboni, L Vigano
172020
Privacy, security and trust in the internet of neurons
D Sempreboni, L Viganò
International Workshop on Socio-Technical Aspects in Security and Trust, 191-205, 2020
102020
What Are the Threats?(Charting the Threat Models of Security Ceremonies)
D Sempreboni, G Bella, R Giustolisi, L Vigano
16th International Conference on Security and Cryptography, 2019
92019
An investigation into the “beautification” of security ceremonies
G Bella, K Renaud, D Sempreboni, L Vigano
16th International Conference on Security and Cryptography, 125-136, 2019
82019
Mmm: may i mine your mind
D Sempreboni, L Viganò
Companion Proceedings of the The Web Conference 2018, 1573-1576, 2018
82018
Perceptions of beauty in security ceremonies
G Bella, J Ophoff, K Renaud, D Sempreboni, L Viganò
Philosophy & Technology 35 (3), 72, 2022
62022
A mutation-based approach for the formal and automated analysis of security ceremonies
D Sempreboni, L Viganò
Journal of Computer Security 31 (4), 293-364, 2023
52023
The future of connected and automated mobility in the UK: call for evidence
S Ramchurn, MR Mousavi, SMH Toliyat, M Kleinman, J Lisinska, ...
University of Southampton, 2021
22021
Schr\" odinger's Man
L Vigano, D Sempreboni
arXiv preprint arXiv:1812.05839, 2018
22018
Gnirut: The Trouble With Being Born Human In An Autonomous World
L Viganò, D Sempreboni
Companion Proceedings of the The Web Conference 2018, 1567-1571, 2018
22018
Smart Humans... WannaDie?
D Sempreboni, L Vigano
arXiv preprint arXiv:1812.05834, 2018
12018
Schrödinger’s Man and Smart Humans
D Sempreboni, L Viganò
Mapping the Posthuman, 2022
2022
Data: a new direction: A call for evidence from Department for Digital, Culture, Media & Sport
A Chapman, A Drake, D Huynh, R Hyde, P Keller, M Kleinman, ...
2021
A formal approach for the analysis of the security of socio-technical systems.
D Sempreboni
King's College London, 2020
2020
The Trouble With Being Born Human In An Autonomous World
L Viganò, D Sempreboni
2018
King’s Research Portal
G Bella, K Renaud, D Sempreboni, L Vigano
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–16