| 2025 | ICSA | User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study. | Megha Quamara, Luca Vigan |
| 2025 | VR | MASSXR 2025: The 3 | Megha Quamara, Oya eliktutan, Luca Vigan, Aniket Bera, Pablo Csar, Funda Durupinar, Aline Normoyle, Chirag Raman, Zerrin Yumak |
| 2024 | ECAI | A Logic for Policy Based Resource Exchanges in Multiagent Systems. | Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Vigan |
| 2023 | ICISSP | Cybersecurity, Nicolas Cage and Peppa Pig. | Luca Vigan |
| 2022 | Coordination | Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). | Luca Vigan |
| 2022 | SECRYPT | Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show and Tell). | Luca Vigan |
| 2021 | Interact | Nicolas Cage is the Center of the Cybersecurity Universe. | Luca Vigan |
| 2019 | BPM | Resource Controllability of Workflows Under Conditional Uncertainty. | Matteo Zavatteri, Carlo Combi, Luca Vigan |
| 2019 | TIME | Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. | Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Vigan |
| 2018 | ESORICS | A Formal Approach to Analyzing Cyber-Forensics Evidence. | Erisa Karafili, Matteo Cristani, Luca Vigan |
| 2018 | ICAART | Constraint Networks Under Conditional Uncertainty. | Matteo Zavatteri, Luca Vigan |
| 2018 | ICAART | Conditional Uncertainty in Constraint Networks. | Matteo Zavatteri, Luca Vigan |
| 2018 | WWW | MMM: May I Mine Your Mind. | Diego Sempreboni, Luca Vigan |
| 2018 | WWW | Gnirut: The Trouble With Being Born Human In An Autonomous World. | Luca Vigan, Diego Sempreboni |
| 2017 | BPM | Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. | Matteo Zavatteri, Carlo Combi, Roberto Posenato, Luca Vigan |
| 2017 | ICAART | Access Controlled Temporal Networks. | Carlo Combi, Roberto Posenato, Luca Vigan, Matteo Zavatteri |
| 2016 | EUMAS | A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems. | Katia Santac, Matteo Cristani, Marco Rocchetto, Luca Vigan |
| 2016 | SAC | An automated approach for testing the security of web applications against chained attacks. | Alberto Calvi, Luca Vigan |
| 2015 | ESORICS | Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. | Omar Saad Almousa, Sebastian Mdersheim, Paolo Modesti, Luca Vigan |
| 2015 | SAC | Automated analysis of RBAC policies with temporal constraints and static role hierarchies. | Silvio Ranise, Anh Tuan Truong, Luca Vigan |
| 2014 | CCS | Sufficient conditions for vertical composition of security protocols. | Sebastian Mdersheim, Luca Vigan |
| 2014 | WoLLIC | Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). | Luca Vigan, Marco Volpe, Margherita Zorzi |
| 2013 | CRiSIS | A complete tableau procedure for risk analysis. | Matteo Cristani, Erisa Karafili, Luca Vigan |
| 2013 | ICST | The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. | Luca Vigan |
| 2013 | LPAR | Defining Privacy Is Supposed to Be Easy. | Sebastian Mdersheim, Thomas Gro, Luca Vigan |
| 2013 | TIME | A Labeled Deduction System for the Logic UB. | Carlos Caleiro, Luca Vigan, Marco Volpe |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2012 | TrustBus | Towards the Secure Provision and Consumption in the Internet of Services. | Luca Vigan |
| 2011 | CRiSIS | A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes. | Simone Marchesini, Luca Vigan |
| 2011 | ICAART | Blocking Underhand Attacks by Hidden Coalitions. | Matteo Cristani, Erisa Karafili, Luca Vigan |
| 2011 | SECRYPT | Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis. | Maria-Camilla Fiazza, Michele Peroli, Luca Vigan |
| 2010 | SEFM | Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. | Davide Benetti, Massimo Merro, Luca Vigan |
| 2010 | SYNASC | WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. | Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Vigan, Luca Zanetti |
| 2010 | SYNASC | Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. | Alberto Calvi, Silvio Ranise, Luca Vigan |
| 2009 | ESORICS | Secure Pseudonymous Channels. | Sebastian Mdersheim, Luca Vigan |
| 2009 | LFCS | A Labeled Natural Deduction System for a Fragment of CTL*. | Andrea Masini, Luca Vigan, Marco Volpe |
| 2008 | TIME | A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Vigan |
| 2008 | TIME | Labeled Natural Deduction Systems for a Family of Tense Logics. | Luca Vigan, Marco Volpe |
| 2006 | FOSSACS | Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. | Michael Backes, Sebastian Mdersheim, Birgit Pfitzmann, Luca Vigan |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2005 | IROS | On the use of torque sensors in a space robotics application. | Gianni Ferretti, GianAntonio Magnani, Paolo Rocco, Luca Vigan, Andrea Rusconi |
| 2005 | LPAR | Algebraic Intruder Deductions. | David A. Basin, Sebastian Mdersheim, Luca Vigan |
| 2004 | ICRA | The Operational Space Control applied to a Space Robotic Manipulator. | Gianni Ferretti, GianAntonio Magnani, Paolo Rocco, Luca Vigan |
| 2004 | LPAR | A Formalization of Off-Line Guessing for Security Protocol Analysis. | Paul Hankes Drielsma, Sebastian Mdersheim, Luca Vigan |
| 2003 | CCS | CDiff: a new reduction technique for constraint-based analysis of security protocols. | David A. Basin, Sebastian Mdersheim, Luca Vigan |
| 2003 | ESORICS | An On-the-Fly Model-Checker for Security Protocol Analysis. | David A. Basin, Sebastian Mdersheim, Luca Vigan |
| 2002 | CAV | The AVISS Security Protocol Analysis Tool. | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mdersheim, Michal Rusinowitch, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 1997 | KI | Labelled Quantified Modal Logics. | David A. Basin, Sen Matthews, Luca Vigan |
| 1996 | KR | Implementing Modal and Relevance Logics in a Logical Framework. | David A. Basin, Sen Matthews, Luca Vigan |