King's College London

• 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

View all (67) »