Luca Viganò
King's College
H-index: 29
North America-United States
Top articles of Luca Viganò
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Towards a Modular Architecture for eXtended Reality Systems | Megha Quamara Luca Capra Valeria Villani Cristiano Carlevaro Oya Celiktutan | 2024/4/10 | |
Model checking distributed temporal logic | LOGIC JOURNAL-IGPL | Francisco Dionisio Jaime Ramos Fernando Subtil Luca Viganò | 2024/3/14 |
The cybersecurity of fairy tales | Luca Viganò | 2023/6/12 | |
Formal Analysis of Security Protocols with Movement | Andrew Cook Luca Viganò | 2023/3/28 | |
A decision procedure for alpha-beta privacy for a bounded number of transitions | Laouen Pablo Killian Fernet Sebastian Alexander Mödersheim Luca Viganò | 2023 | |
A mutation-based approach for the formal and automated analysis of security ceremonies | Journal of Computer Security | Diego Sempreboni Luca Viganò | 2023/1/1 |
Nuove frontiere della cybersecurity | Picotti L.(a cura di), Automazione, Diritto e Responsabilità, Napoli, Edizioni Scientifiche Italiane | Luca Viganò | 2023/9/21 |
Automatic Fair Exchanges | arXiv preprint arXiv:2207.12326 | Lorenzo Ceragioli Letterio Galletta Pierpaolo Degano Luca Viganò | 2022/7/25 |
Socio-Technical Aspects in Security: 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers | Simon Parkin Luca Viganò | 2022/7/13 | |
Formal Methods for Socio-technical Security: (Formal and Automated Analysis of Security Ceremonies) | Luca Viganò | 2022/6/13 | |
Perceptions of beauty in security ceremonies | Philosophy & Technology | Giampaolo Bella Jacques Ophoff Karen Renaud Diego Sempreboni Luca Viganò | 2022/9 |
Don’t Tell Me the Cybersecurity Moon Is Shining… Cybersecurity Show and Tell | Luca Viganò | 2022/2/8 | |
Quantum Machine Intelligence | Alessandra Di Pierro Luca Viganò | 2022/8/27 | |
Special issue on socio-technical aspects in security–editorial | Thomas Groß Luca Viganò | 2022 | |
Privacy as reachability | Sébastien Gondron Sebastian Mödersheim Luca Viganò | 2022/8/7 | |
Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way | Information and Computation | Matteo Zavatteri Carlo Combi Romeo Rizzi Luca Viganò | 2021/10/1 |
Event-Based Time-Stamped Claim Logic | Journal of Logical and Algebraic Methods in Programming | Jaime Ramos João Rasga Cristina Sernadas Luca Viganò | 2021/6/1 |
Resource controllability of business processes under conditional uncertainty | Journal on Data Semantics | Matteo Zavatteri Carlo Combi Luca Viganò | 2021/6 |
Time-stamped claim logic | Logic Journal of the IGPL | João Rasga Cristina Sernadas Erisa Karafili Luca Viganò | 2019/7/15 |
Nicolas Cage is the center of the cybersecurity universe | Luca Viganò | 2021 |