Professor Luca Viganò Professor Luca Viganò Academics Supervisors Vice-Dean (Enterprise and Engagement) and Head of Cybersecurity Group Professor of Computer Science. Research subject areas Computer science Contact details +44 020 7848 2078 luca.vigano@kcl.ac.uk
A Mutation-Based Approach for the Formal and Automated Analysis of Security Ceremonies Sempreboni, D. & Viganò, L., 2 Nov 2022, (Accepted/In press) In: Journal of Computer Security. 77 p. Research output: Contribution to journal › Article › peer-review Schrödinger’s Man and Smart Humans Sempreboni, D. & Viganò, L., 27 Aug 2022, (Accepted/In press) Mapping the Posthuman. Routledge, 10 p. Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review Quantum Machine Intelligence Di Pierro, A. & Viganò, L., 27 Aug 2022, (Accepted/In press) Mapping the Posthuman. Routledge, 6 p. Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review Perceptions of beauty in security ceremonies Bella, G., Ophoff, J., Renaud, K., Sempreboni, D. & Viganò, L., 11 Jun 2022, (Accepted/In press) In: Philosophy & Technology. 35 p. Research output: Contribution to journal › Article › peer-review Formal Methods for Socio-technical Security: (Formal and Automated Analysis of Security Ceremonies) Viganò, L., 29 Apr 2022, Coordination Models and Languages (COORDINATION 2022). 12 p. Research output: Chapter in Book/Report/Conference proceeding › Conference paper Privacy as Reachability Gondron, S., Moedersheim, S. & Viganò, L., 31 May 2022, 35th IEEE Computer Security Foundations Symposium (CSF 2022). IEEE Computer Society Press, 17 p. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Nicolas Cage is the Center of the Cybersecurity Universe Viganò, L., 6 Jul 2021, Human-Computer Interaction – INTERACT 2021 - 18th IFIP TC 13 International Conference, Proceedings. Ardito, C., Lanzilotti, R., Malizia, A., Malizia, A., Petrie, H., Piccinno, A., Desolda, G. & Inkpen, K. (eds.). Springer‐Verlag Berlin Heidelberg, p. 14-33 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12932 LNCS). Research output: Chapter in Book/Report/Conference proceeding › Conference paper. DOIs: https://doi.org/10.1007/978-3-030-85623-6_3 Event Based Time-Stamped Claim Logic Ramos, J., Rasga, J., Sernadas, C. & Viganò, L., 24 Apr 2021, (Accepted/In press) In: Journal of Logical and Algebraic Methods in Programming. 42 p. Research output: Contribution to journal › Article › peer-review Resource Controllability of Business Processes Under Conditional Uncertainty Zavatteri, M., Combi, C. & Viganò, L., 19 Jan 2021, (Accepted/In press) In: Journal on Data Semantics . 22 p. Research output: Contribution to journal › Article › peer-review Consistency Checking of STNs with Decisions: Managing Temporal and Access-Control Constraints in a Seamless Way Zavatteri, M., Combi, C., Rizzi, R. & Viganò, L., 29 Sep 2020, (Accepted/In press) In: INFORMATION AND COMPUTATION. 41 p. Research output: Contribution to journal › Article › peer-review View all publications