Luca Viganò - RankMe

196 papers A* 4A 12B 7C 12Misc 6Journal 87Unranked 59

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A decision procedure and typing result for alpha-beta privacy. J. Comput. Secur. Laouen Fernet, Sebastian Mödersheim, Luca Viganò
2026	J	`jnl`	Formal methods for socio-technical security in eXtended Reality (XR): state-of-the-art and research agenda. J. Cybersecur. Megha Quamara, Luca Viganò, Viktor Schmuck, Oya Çeliktutan
2025	J	`jnl`	APOLLO: A GPT-based tool to detect phishing emails and generate explanations that warn users. Proc. ACM Hum. Comput. Interact. Giuseppe Desolda, Francesco Greco, Luca Viganò
2025	J	`jnl`	Can Large Language Models Improve Phishing Defense? A Large-Scale Controlled Experiment on Warning Dialogue Explanations. CoRR Federico Maria Cau, Giuseppe Desolda, Francesco Greco, Lucio Davide Spano, Luca Viganò
2025	J	`jnl`	Evaluating Social Acceptance of eXtended Reality (XR) Agent Technology: A User Study (Extended Version). CoRR Megha Quamara, Viktor Schmuck, Cristina Iani, Axel Primavesi, Alexander Plaum, Luca Viganò
2025	—	`conf`	Evaluating Social Acceptance of eXtended Reality (XR) Agent Technology: A User Study. CHItaly Megha Quamara, Viktor Schmuck, Cristina Iani, Axel Primavesi, Alexander Plaum, Luca Viganò
2025	—	`conf`	MASSXR 2025: The 3 VR Workshops Megha Quamara, Oya Çeliktutan, Luca Viganò, Aniket Bera, Pablo César, Funda Durupinar, Aline Normoyle, Chirag Raman, Zerrin Yumak
2025	J	`jnl`	User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version). CoRR Megha Quamara, Luca Viganò
2025	—	`conf`	User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study. ICSA Companion Megha Quamara, Luca Viganò
2024	A	`conf`	A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. CSF Laouen Fernet, Sebastian Mödersheim, Luca Viganò
2024	J	`jnl`	A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version). CoRR Ioana Sandu, Rita Borgo, Prokar Dasgupta, Ramesh Thurairaja, Luca Viganò
2024	—	`conf`	A Formal Approach for Modelling and Analysing Surgical Procedures. STM Ioana Sandu, Rita Borgo, Prokar Dasgupta, Ramesh Thurairaja, Luca Viganò
2024	A	`conf`	A Logic for Policy Based Resource Exchanges in Multiagent Systems. ECAI Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024	J	`jnl`	A Logic for Policy Based Resource Exchanges in Multiagent Systems. CoRR Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024	J	`jnl`	APOLLO: A GPT-based tool to detect phishing emails and generate explanations that warn users. CoRR Giuseppe Desolda, Francesco Greco, Luca Viganò
2024	J	`jnl`	Policies for Fair Exchanges of Resources. CoRR Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024	—	`conf`	Supporting the Design of Phishing Education, Training and Awareness interventions: an LLM-based approach. CSE4IA@AVI Francesco Greco, Giuseppe Desolda, Luca Viganò
2024	J	`jnl`	The cybersecurity of fairy tales. J. Cybersecur. Luca Viganò
2023	J	`jnl`	A mutation-based approach for the formal and automated analysis of security ceremonies. J. Comput. Secur. Diego Sempreboni, Luca Viganò
2023	C	`conf`	Cybersecurity, Nicolas Cage and Peppa Pig. ICISSP Luca Viganò
2023	—	`conf`	Formal Analysis of Security Protocols with Movement. ITASEC Andrew Cook, Luca Viganò
2022	J	`jnl`	Automatic Fair Exchanges. CoRR Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
2022	C	`conf`	Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show and Tell). SECRYPT Luca Viganò
2022	J	`jnl`	Editorial: 2021 editors' pick: Computer science. Frontiers Comput. Sci. Paul Lukowicz, Anton Nijholt, Kaleem Siddiqi, Marcello Pelillo, Kristof Van Laerhoven, Luca Viganò, Nicola Zannone
2022	C	`conf`	Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). COORDINATION Luca Viganò
2022	A	`conf`	Privacy as Reachability. CSF Sébastien Gondron, Sebastian Mödersheim, Luca Viganò
2022	—	`ed.`	Socio-Technical Aspects in Security - 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers STAST Simon E. Parkin, Luca Viganò
2022	J	`jnl`	Special issue on socio-technical aspects in security - editorial. J. Comput. Secur. Thomas Groß, Luca Viganò
2021	J	`jnl`	Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way. Inf. Comput. Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò
2021	J	`jnl`	Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show And Tell). CoRR Luca Viganò
2021	J	`jnl`	Event-Based Time-Stamped Claim Logic. J. Log. Algebraic Methods Program. Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò
2021	—	`conf`	Nicolas Cage is the Center of the Cybersecurity Universe. INTERACT (1) Luca Viganò
2021	J	`jnl`	Resource Controllability of Business Processes Under Conditional Uncertainty. J. Data Semant. Matteo Zavatteri, Carlo Combi, Luca Viganò
2021	—	`ed.`	Socio-Technical Aspects in Security and Trust - 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers STAST Thomas Groß, Luca Viganò
2021	J	`jnl`	Time-stamped claim logic. Log. J. IGPL João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
2020	J	`jnl`	A Formal Approach to Physics-based Attacks in Cyber-physical Systems. ACM Trans. Priv. Secur. Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
2020	—	`conf`	A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement. EuroS&P Workshops Andrew Cook, Luca Viganò
2020	J	`jnl`	A formal and automated approach to exploiting multi-stage attacks of web applications. J. Comput. Secur. Federico De Meo, Luca Viganò
2020	—	`conf`	Explainable Security. EuroS&P Workshops Luca Viganò, Daniele Magazzeni
2020	J	`jnl`	Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login. ACM Trans. Priv. Secur. Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò
2020	—	`conf`	Privacy, Security and Trust in the Internet of Neurons. STAST Diego Sempreboni, Luca Viganò
2020	A	`conf`	X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies. EuroS&P Diego Sempreboni, Luca Viganò
2019	J	`jnl`	A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version). CoRR Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
2019	J	`jnl`	Alpha-Beta Privacy. ACM Trans. Priv. Secur. Sebastian Mödersheim, Luca Viganò
2019	—	`conf`	An Investigation into the "Beautification" of Security Ceremonies. ICETE (2) Giampaolo Bella, Karen Renaud, Diego Sempreboni, Luca Viganò
2019	J	`jnl`	Conditional Simple Temporal Networks with Uncertainty and Resources. J. Artif. Intell. Res. Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
2019	J	`jnl`	Conditional simple temporal networks with uncertainty and decisions. Theor. Comput. Sci. Matteo Zavatteri, Luca Viganò
2019	J	`jnl`	Diagnostics as a Reasoning Process: From Logic Structure to Software Design. J. Comput. Inf. Technol. Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi
2019	J	`jnl`	Explaining Cybersecurity with Films and the Arts (Extended Abstract). CoRR Luca Viganò
2019	C	`conf`	Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. TIME Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò
2019	J	`jnl`	It could be worse, it could be raining: reliable automatic meteorological forecasting. CoRR Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi
2019	J	`jnl`	Last man standing: Static, decremental and dynamic resiliency via controller synthesis. J. Comput. Secur. Matteo Zavatteri, Luca Viganò
2019	—	`conf`	Resource Controllability of Workflows Under Conditional Uncertainty. Business Process Management Workshops Matteo Zavatteri, Carlo Combi, Luca Viganò
2019	J	`jnl`	Time-Stamped Claim Logic. CoRR João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
2019	—	`conf`	What Are the Threats? (Charting the Threat Models of Security Ceremonies). ICETE (2) Diego Sempreboni, Giampaolo Bella, Rosario Giustolisi, Luca Viganò
2018	—	`conf`	A Formal Approach to Analyzing Cyber-Forensics Evidence. ESORICS (1) Erisa Karafili, Matteo Cristani, Luca Viganò
2018	J	`jnl`	A Formal Approach to Analyzing Cyber-Forensics Evidence. CoRR Erisa Karafili, Matteo Cristani, Luca Viganò
2018	J	`jnl`	Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies. J. Comput. Secur. Silvio Ranise, Anh Tuan Truong, Luca Viganò
2018	—	`conf`	Conditional Uncertainty in Constraint Networks. ICAART (Revised Selected Papers) Matteo Zavatteri, Luca Viganò
2018	—	`conf`	Constraint Networks Under Conditional Uncertainty. ICAART (2) Matteo Zavatteri, Luca Viganò
2018	—	`conf`	Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience. POST Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò
2018	J	`jnl`	Explainable Security. CoRR Luca Viganò, Daniele Magazzeni
2018	—	`conf`	Gnirut: The Trouble With Being Born Human In An Autonomous World. WWW (Companion Volume) Luca Viganò, Diego Sempreboni
2018	J	`jnl`	Gnirut: The Trouble With Being Born Human In An Autonomous World. CoRR Luca Viganò, Diego Sempreboni
2018	—	`conf`	MMM: May I Mine Your Mind. WWW (Companion Volume) Diego Sempreboni, Luca Viganò
2018	J	`jnl`	MMM: May I Mine Your Mind? CoRR Diego Sempreboni, Luca Viganò
2018	J	`jnl`	MobSTer: A model-based security testing framework for web applications. Softw. Test. Verification Reliab. Michele Peroli, Federico De Meo, Luca Viganò, Davide Guardini
2018	J	`jnl`	Privacy, Security and Trust in the Internet of Neurons. CoRR Diego Sempreboni, Luca Viganò
2018	J	`jnl`	Schrödinger's Man. CoRR Luca Viganò, Diego Sempreboni
2018	J	`jnl`	Smart Humans... WannaDie? CoRR Diego Sempreboni, Luca Viganò
2017	A	`conf`	A Formal Approach to Cyber-Physical Attacks. CSF Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
2017	J	`jnl`	A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version). CoRR Federico De Meo, Luca Viganò
2017	—	`conf`	A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications. ESSoS Federico De Meo, Luca Viganò
2017	J	`jnl`	A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Inf. Comput. Luca Viganò, Marco Volpe, Margherita Zorzi
2017	—	`conf`	Access Controlled Temporal Networks. ICAART (2) Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
2017	J	`jnl`	An interpolation-based method for the verification of security protocols. J. Comput. Secur. Marco Rocchetto, Luca Viganò, Marco Volpe
2017	J	`jnl`	Compositional Meaning in Logic. Logica Universalis Carlos Caleiro, Luca Viganò
2017	A	`conf`	Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. BPM Matteo Zavatteri, Carlo Combi, Roberto Posenato, Luca Viganò
2016	J	`jnl`	A Formal Approach to Cyber-Physical Attacks. CoRR Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
2016	—	`conf`	A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems. EUMAS/AT Katia Santacà, Matteo Cristani, Marco Rocchetto, Luca Viganò
2016	Misc	`conf`	An automated approach for testing the security of web applications against chained attacks. SAC Alberto Calvi, Luca Viganò
2016	J	`jnl`	Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version). CoRR Federico De Meo, Marco Rocchetto, Luca Viganò
2016	—	`conf`	Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection. STM Federico De Meo, Marco Rocchetto, Luca Viganò
2016	—	`conf`	Invisible Security. Security Protocols Workshop Giampaolo Bella, Bruce Christianson, Luca Viganò
2016	—	`ed.`	Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings POST Frank Piessens, Luca Viganò
2016	—	`conf`	Security Constraints in Temporal Role-Based Access-Controlled Workflows. CODASPY Carlo Combi, Luca Viganò, Matteo Zavatteri
2015	—	`conf`	Alice and Bob: Reconciling Formal Models and Implementation. Programming Languages with Applications to Biology and Security Omar Saad Almousa, Sebastian Mödersheim, Luca Viganò
2015	Misc	`conf`	Automated analysis of RBAC policies with temporal constraints and static role hierarchies. SAC Silvio Ranise, Anh Tuan Truong, Luca Viganò
2015	J	`jnl`	Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios. Frontiers ICT Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
2015	A	`ed.`	IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015 CSF Cédric Fournet, Michael W. Hicks, Luca Viganò
2015	J	`jnl`	Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version). CoRR Carlo Combi, Luca Viganò, Matteo Zavatteri
2015	—	`conf`	Security is Beautiful (Transcript of Discussion). Security Protocols Workshop Luca Viganò
2015	—	`conf`	Security is Beautiful. Security Protocols Workshop Giampaolo Bella, Luca Viganò
2015	J	`jnl`	Special issue on security and high performance computing systems. J. Comput. Secur. Luca Spalazzi, Luca Viganò
2015	—	`conf`	Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. ESORICS (2) Omar Saad Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò
2014	—	`conf`	Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). Security Protocols Workshop Michele Peroli, Luca Viganò, Matteo Zavatteri
2014	J	`jnl`	Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). CoRR Michele Peroli, Luca Viganò, Matteo Zavatteri
2014	—	`conf`	Non-collaborative Attackers and How and Where to Defend Vulnerable Security Protocols (Transcript of Discussion). Security Protocols Workshop Luca Viganò
2014	J	`jnl`	Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete. Theor. Comput. Sci. Pedro Adão, Paulo Mateus, Luca Viganò
2014	C	`conf`	Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). WoLLIC Luca Viganò, Marco Volpe, Margherita Zorzi
2014	A	`conf`	Sufficient conditions for vertical composition of security protocols. AsiaCCS Sebastian Mödersheim, Luca Viganò
2014	J	`jnl`	Tableau systems for reasoning about risk. J. Ambient Intell. Humaniz. Comput. Matteo Cristani, Erisa Karafili, Luca Viganò
2013	C	`conf`	A Labeled Deduction System for the Logic UB. TIME Carlos Caleiro, Luca Viganò, Marco Volpe
2013	C	`conf`	A complete tableau procedure for risk analysis. CRiSIS Matteo Cristani, Erisa Karafili, Luca Viganò
2013	B	`conf`	Defining Privacy Is Supposed to Be Easy. LPAR Sebastian Mödersheim, Thomas Groß, Luca Viganò
2013	J	`jnl`	On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. Logica Universalis Carlos Caleiro, Luca Viganò, Marco Volpe
2013	—	`ed.`	Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings TAP@STAF Margus Veanes, Luca Viganò
2013	A	`conf`	The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. ICST Luca Viganò
2013	—	`conf`	Using Interpolation for the Verification of Security Protocols. STM Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove
2012	—	`conf`	An environmental paradigm for defending security protocols. CTS Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
2012	—	`conf`	Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities. STM Michele Barletta, Silvio Ranise, Luca Viganò
2012	J	`jnl`	Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version). CoRR Michele Barletta, Silvio Ranise, Luca Viganò
2012	—	`conf`	Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform. HPCS Luca Viganò
2012	A	`conf`	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
2012	—	`conf`	Towards a Logical Framework for Reasoning about Risk. CD-ARES Matteo Cristani, Erisa Karafili, Luca Viganò
2012	B	`conf`	Towards the Secure Provision and Consumption in the Internet of Services. TrustBus Luca Viganò
2011	C	`conf`	A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes. CRiSIS Simone Marchesini, Luca Viganò
2011	J	`jnl`	A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures. Serv. Oriented Comput. Appl. Michele Barletta, Silvio Ranise, Luca Viganò
2011	J	`jnl`	Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version] CoRR Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
2011	C	`conf`	Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis. SECRYPT Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
2011	—	`conf`	Attack Interference: A Path to Defending Security Protocols. ICETE (Selected Papers) Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
2011	—	`conf`	Blocking Underhand Attacks by Hidden Coalitions. ICAART (2) Matteo Cristani, Erisa Karafili, Luca Viganò
2011	J	`jnl`	Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2011	J	`jnl`	Labelled natural deduction for a bundled branching temporal logic. J. Log. Comput. Andrea Masini, Luca Viganò, Marco Volpe
2011	J	`jnl`	Meaning Negotiation as Inference CoRR Elisa Burato, Matteo Cristani, Luca Viganò
2011	J	`jnl`	Modal Deduction Systems for Quantum State Transformations. J. Multiple Valued Log. Soft Comput. Andrea Masini, Luca Viganò, Margherita Zorzi
2011	J	`jnl`	Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". J. Autom. Reason. Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò
2011	C	`conf`	Security protocols as environments: A lesson from non-collaboration. CollaborateCom Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
2011	—	`conf`	Towards Formal Validation of Trust and Security in the Internet of Services. Future Internet Assembly Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò
2011	J	`jnl`	Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. Scalable Comput. Pract. Exp. Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
2010	—	`conf`	A Deduction System for Meaning Negotiation. DALT Elisa Burato, Matteo Cristani, Luca Viganò
2010	Misc	`conf`	Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. SYNASC Alberto Calvi, Silvio Ranise, Luca Viganò
2010	J	`jnl`	Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) CoRR Alberto Calvi, Silvio Ranise, Luca Viganò
2010	J	`jnl`	Back from the future. J. Appl. Non Class. Logics Andrea Masini, Luca Viganò, Marco Volpe
2010	J	`jnl`	Blocking Underhand Attacks by Hidden Coalitions (Extended Version) CoRR Matteo Cristani, Erisa Karafili, Luca Viganò
2010	J	`jnl`	Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. J. Comput. Secur. Sebastian Mödersheim, Luca Viganò, David A. Basin
2010	B	`conf`	Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. SEFM Davide Benetti, Massimo Merro, Luca Viganò
2010	Misc	`conf`	WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. SYNASC Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
2009	J	`jnl`	A History of Until CoRR Andrea Masini, Luca Viganò, Marco Volpe
2009	—	`conf`	A History of Until. M4M Andrea Masini, Luca Viganò, Marco Volpe
2009	Misc	`conf`	A Labeled Natural Deduction System for a Fragment of CTL*. LFCS Andrea Masini, Luca Viganò, Marco Volpe
2009	—	`ed.`	Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers ARSPA-WITS Pierpaolo Degano, Luca Viganò
2009	J	`jnl`	Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2009	A	`conf`	Secure Pseudonymous Channels. ESORICS Sebastian Mödersheim, Luca Viganò
2009	—	`conf`	The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. FOSAD Sebastian Mödersheim, Luca Viganò
2009	J	`jnl`	Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) CoRR Michele Barletta, Silvio Ranise, Luca Viganò
2009	—	`conf`	Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. CSE (3) Michele Barletta, Silvio Ranise, Luca Viganò
2008	C	`conf`	A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2008	J	`jnl`	A Qualitative Modal Representation of Quantum Register Transformations CoRR Andrea Masini, Luca Viganò, Margherita Zorzi
2008	—	`conf`	A Qualitative Modal Representation of Quantum Register Transformations. ISMVL Andrea Masini, Luca Viganò, Margherita Zorzi
2008	J	`jnl`	Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06). Inf. Comput. Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic
2008	J	`jnl`	Labeled Natural Deduction Systems for a Family of Tense Logics CoRR Luca Viganò, Marco Volpe
2008	C	`conf`	Labeled Natural Deduction Systems for a Family of Tense Logics. TIME Luca Viganò, Marco Volpe
2008	J	`jnl`	Preface. Int. J. Inf. Sec. Pierpaolo Degano, Luca Viganò
2006	J	`jnl`	Automated Reasoning for Security Protocol Analysis. J. Autom. Reason. Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò
2006	—	`conf`	Formalizing and Analyzing Sender Invariance. Formal Aspects in Security and Trust Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin
2006	J	`jnl`	On the semantics of Alice&Bob specifications of security protocols. Theor. Comput. Sci. Carlos Caleiro, Luca Viganò, David A. Basin
2006	J	`jnl`	Preface. Theor. Comput. Sci. Pierpaolo Degano, Luca Viganò
2006	B	`conf`	Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. FoSSaCS Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
2006	J	`jnl`	Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. IACR Cryptol. ePrint Arch. Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
2006	—	`conf`	Towards a Quantitative Analysis of Security Protocols. QAPL Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò
2005	B	`conf`	Algebraic Intruder Deductions. LPAR David A. Basin, Sebastian Mödersheim, Luca Viganò
2005	B	`conf`	Automated Security Protocol Analysis With the AVISPA Tool. MFPS Luca Viganò
2005	—	`conf`	Deconstructing Alice and Bob. ARSPA@ICALP Carlos Caleiro, Luca Viganò, David A. Basin
2005	J	`jnl`	OFMC: A symbolic model checker for security protocols. Int. J. Inf. Sec. David A. Basin, Sebastian Mödersheim, Luca Viganò
2005	—	`conf`	Preface. ARSPA@ICALP Pierpaolo Degano, Luca Viganò
2005	—	`ed.`	Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005 ARSPA@ICALP Pierpaolo Degano, Luca Viganò
2005	—	`ed.`	Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@IJCAR 2004, Cork, Ireland, July 4, 2004 ARSPA@IJCAR Alessandro Armando, Luca Viganò
2005	J	`jnl`	Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. Log. J. IGPL Carlos Caleiro, Luca Viganò, David A. Basin
2005	A*	`conf`	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2004	B	`conf`	A Formalization of Off-Line Guessing for Security Protocol Analysis. LPAR Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò
2004	—	`conf`	Metareasoning about Security Protocols using Distributed Temporal Logic. ARSPA@IJCAR Carlos Caleiro, Luca Viganò, David A. Basin
2004	J	`jnl`	Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Log. J. IGPL Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
2004	—	`conf`	Preface. ARSPA@IJCAR Alessandro Armando, Luca Viganò
2003	A	`conf`	An On-the-Fly Model-Checker for Security Protocol Analysis. ESORICS David A. Basin, Sebastian Mödersheim, Luca Viganò
2003	A*	`conf`	CDiff: a new reduction technique for constraint-based analysis of security protocols. CCS David A. Basin, Sebastian Mödersheim, Luca Viganò
2003	J	`jnl`	Truth-values as Labels: A General Recipe for Labelled Deduction. J. Appl. Non Class. Logics Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas
2002	—	`conf`	A Formal Analysis of the CORBA Security Service. ZB David A. Basin, Frank Rittinger, Luca Viganò
2002	J	`jnl`	Fibring Labelled Deduction Systems. J. Log. Comput. João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
2002	—	`conf`	Labelled Deduction over Algebras of Truth-Values. FroCoS João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
2002	A*	`conf`	The AVISS Security Protocol Analysis Tool. CAV Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2001	—	`conf`	A formal data-model of the CORBA security service. ESEC / SIGSOFT FSE David A. Basin, Frank Rittinger, Luca Viganò
2001	—	`conf`	Towards an awareness-based semantics for security protocol analysis. LACPV@CAV Rafael Accorsi, David A. Basin, Luca Viganò
2000	J	`jnl`	An O(n log n)-Space Decision Procedure for the Relevance Logic B+. Stud Logica Luca Viganò
2000	—	`book`	Labelled non-classical logics. Luca Viganò
1998	—	`conf`	A Recipe for the Complexity Analysis of Non-Classical Logics. FroCoS David A. Basin, Luca Viganò
1998	J	`jnl`	Labelled Modal Logics: Quantifiers. J. Log. Lang. Inf. David A. Basin, Seán Matthews, Luca Viganò
1998	J	`jnl`	Natural Deduction for Non-Classical Logics. Stud Logica David A. Basin, Seán Matthews, Luca Viganò
1997	—	`conf`	A New Method for Bounding the Complexity of Modal Logics. Kurt Gödel Colloquium David A. Basin, Seán Matthews, Luca Viganò
1997	—	`—`	A framework for non-classical logics. Luca Viganò
1997	J	`jnl`	Labelled Propositional Modal Logics: Theory and Practice. J. Log. Comput. David A. Basin, Seán Matthews, Luca Viganò
1997	Misc	`conf`	Labelled Quantified Modal Logics. KI David A. Basin, Seán Matthews, Luca Viganò
1996	—	`conf`	A Topography of Labelled Modal Logics. FroCoS David A. Basin, Seán Matthews, Luca Viganò
1996	A*	`conf`	Implementing Modal and Relevance Logics in a Logical Framework. KR David A. Basin, Seán Matthews, Luca Viganò
1993	—	`conf`	Building and Executing Proof Strategies in a Formal Metatheory. AI*IA Alessandro Armando, Alessandro Cimatti, Luca Viganò
1992	—	`conf`	SEL Compiler & Abstract Analyzers. ALPUK Giancarlo Succi, Giuseppe A. Martino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata, Alexandro Regoli, Luca Viganò