X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies D Sempreboni, L Vigano | 17 | 2020 |
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 | 10 | 2020 |
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 | 9 | 2019 |
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 | 8 | 2019 |
Mmm: may i mine your mind D Sempreboni, L Viganò Companion Proceedings of the The Web Conference 2018, 1573-1576, 2018 | 8 | 2018 |
Perceptions of beauty in security ceremonies G Bella, J Ophoff, K Renaud, D Sempreboni, L Viganò Philosophy & Technology 35 (3), 72, 2022 | 6 | 2022 |
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 | 5 | 2023 |
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 | 2 | 2021 |
Schr\" odinger's Man L Vigano, D Sempreboni arXiv preprint arXiv:1812.05839, 2018 | 2 | 2018 |
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 | 2 | 2018 |
Smart Humans... WannaDie? D Sempreboni, L Vigano arXiv preprint arXiv:1812.05834, 2018 | 1 | 2018 |
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 | | |