SEL Compiler & Abstract Analyzers. - Giancarlo Succi; Giuseppe A. Martino; Giancarlo Colla; Diego Cò; Sergio Novella; Amedeo Pata; Alexandro Regoli; Luca Viganò 001 (ALPUK, 1992)

Building and Executing Proof Strategies in a Formal Metatheory. - Alessandro Armando; Alessandro Cimatti; Luca Viganò 001 (AI*IA, 1993)

A Topography of Labelled Modal Logics. - David A. Basin; Seán Matthews; Luca Viganò 001 (FroCoS, 1996)

Implementing Modal and Relevance Logics in a Logical Framework. - David A. Basin; Seán Matthews; Luca Viganò 001 (KR, 1996)

A New Method for Bounding the Complexity of Modal Logics. - David A. Basin; Seán Matthews; Luca Viganò 001 (Kurt Gödel Colloquium, 1997)

Labelled Quantified Modal Logics. - David A. Basin; Seán Matthews; Luca Viganò 001 (KI, 1997)

Labelled Propositional Modal Logics: Theory and Practice. - David A. Basin; Seán Matthews; Luca Viganò 001 (J. Log. Comput., 1997)

A framework for non-classical logics. - Luca Viganò 001 (1997)

A Recipe for the Complexity Analysis of Non-Classical Logics. - David A. Basin; Luca Viganò 001 (FroCoS, 1998)

Labelled Modal Logics: Quantifiers. - David A. Basin; Seán Matthews; Luca Viganò 001 (J. Log. Lang. Inf., 1998)

Natural Deduction for Non-Classical Logics. - David A. Basin; Seán Matthews; Luca Viganò 001 (Stud Logica, 1998)

Labelled non-classical logics. - Luca Viganò 001 (Kluwer, 2000)

An O(n log n)-Space Decision Procedure for the Relevance Logic B+. - Luca Viganò 001 (Stud Logica, 2000)

A formal data-model of the CORBA security service. - David A. Basin; Frank Rittinger; Luca Viganò 001 (ESEC / SIGSOFT FSE, 2001)

Towards an awareness-based semantics for security protocol analysis. - Rafael Accorsi; David A. Basin; Luca Viganò 001 (LACPV@CAV, 2001)

The AVISS Security Protocol Analysis Tool. - Alessandro Armando; David A. Basin; Mehdi Bouallagui; Yannick Chevalier; Luca Compagna; Sebastian Mödersheim; Michaël Rusinowitch; Mathieu Turuani; Luca Viganò 001; Laurent Vigneron (CAV, 2002)

Labelled Deduction over Algebras of Truth-Values. - João Rasga; Amílcar Sernadas; Cristina Sernadas; Luca Viganò 001 (FroCoS, 2002)

A Formal Analysis of the CORBA Security Service. - David A. Basin; Frank Rittinger; Luca Viganò 001 (ZB, 2002)

Fibring Labelled Deduction Systems. - João Rasga; Amílcar Sernadas; Cristina Sernadas; Luca Viganò 001 (J. Log. Comput., 2002)

CDiff: a new reduction technique for constraint-based analysis of security protocols. - David A. Basin; Sebastian Mödersheim; Luca Viganò 001 (CCS, 2003)

An On-the-Fly Model-Checker for Security Protocol Analysis. - David A. Basin; Sebastian Mödersheim; Luca Viganò 001 (ESORICS, 2003)

Truth-values as Labels: A General Recipe for Labelled Deduction. - Cristina Sernadas; Luca Viganò 001; João Rasga; Amílcar Sernadas (J. Appl. Non Class. Logics, 2003)

A Formalization of Off-Line Guessing for Security Protocol Analysis. - Paul Hankes Drielsma; Sebastian Mödersheim; Luca Viganò 001 (LPAR, 2004)

Preface. - Alessandro Armando; Luca Viganò 001 (ARSPA@IJCAR, 2004)

Metareasoning about Security Protocols using Distributed Temporal Logic. - Carlos Caleiro; Luca Viganò 001; David A. Basin (ARSPA@IJCAR, 2004)

Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. - Paulo Mateus; Amílcar Sernadas; Cristina Sernadas; Luca Viganò 001 (Log. J. IGPL, 2004)

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 Cuéllar; Paul Hankes Drielsma; Pierre-Cyrille Héam; Olga Kouchnarenko; Jacopo Mantovani; Sebastian Mödersheim; David von Oheimb; et al. (CAV, 2005)

Algebraic Intruder Deductions. - David A. Basin; Sebastian Mödersheim; Luca Viganò 001 (LPAR, 2005)

Deconstructing Alice and Bob. - Carlos Caleiro; Luca Viganò 001; David A. Basin (ARSPA@ICALP, 2005)

Automated Security Protocol Analysis With the AVISPA Tool. - Luca Viganò 001 (MFPS, 2005)

Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. - Carlos Caleiro; Luca Viganò 001; David A. Basin (Log. J. IGPL, 2005)

OFMC: A symbolic model checker for security protocols. - David A. Basin; Sebastian Mödersheim; Luca Viganò 001 (Int. J. Inf. Sec., 2005)

Formalizing and Analyzing Sender Invariance. - Paul Hankes Drielsma; Sebastian Mödersheim; Luca Viganò 001; David A. Basin (Formal Aspects in Security and Trust, 2006)

Towards a Quantitative Analysis of Security Protocols. - Pedro Adão; Paulo Mateus; Tiago Reis; Luca Viganò 001 (QAPL, 2006)

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. - Michael Backes 001; Sebastian Mödersheim; Birgit Pfitzmann; Luca Viganò 001 (IACR Cryptol. ePrint Arch., 2006)

Automated Reasoning for Security Protocol Analysis. - Alessandro Armando; David A. Basin; Jorge Cuéllar; Michaël Rusinowitch; Luca Viganò 001 (J. Autom. Reason., 2006)

On the semantics of Alice&Bob specifications of security protocols. - Carlos Caleiro; Luca Viganò 001; David A. Basin (Theor. Comput. Sci., 2006)

Preface. - Pierpaolo Degano; Luca Viganò 001 (Theor. Comput. Sci., 2006)

A Qualitative Modal Representation of Quantum Register Transformations. - Andrea Masini; Luca Viganò 001; Margherita Zorzi (ISMVL, 2008)

A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. - David A. Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò 001 (TIME, 2008)

Labeled Natural Deduction Systems for a Family of Tense Logics. - Luca Viganò 001; Marco Volpe 001 (TIME, 2008)

Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06). - Pierpaolo Degano; Ralf Küsters; Luca Viganò 001; Steve Zdancewic (Inf. Comput., 2008)

Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. - Michele Barletta; Silvio Ranise; Luca Viganò 001 (CSE (3), 2009)

Secure Pseudonymous Channels. - Sebastian Mödersheim; Luca Viganò 001 (ESORICS, 2009)

The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. - Sebastian Mödersheim; Luca Viganò 001 (FOSAD, 2009)

A Labeled Natural Deduction System for a Fragment of CTL*. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (LFCS, 2009)

Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) - Michele Barletta; Silvio Ranise; Luca Viganò 001 (CoRR, 2009)

A History of Until. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (M4M, 2009)

Labelled Tableaux for Distributed Temporal Logic. - David A. Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò 001 (J. Log. Comput., 2009)

A Deduction System for Meaning Negotiation. - Elisa Burato; Matteo Cristani; Luca Viganò 001 (DALT, 2010)

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. - Davide Benetti; Massimo Merro; Luca Viganò 001 (SEFM, 2010)

WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. - Michele Barletta; Alberto Calvi; Silvio Ranise; Luca Viganò 001; Luca Zanetti (SYNASC, 2010)

Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. - Alberto Calvi; Silvio Ranise; Luca Viganò 001 (SYNASC, 2010)

Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) - Alberto Calvi; Silvio Ranise; Luca Viganò 001 (CoRR, 2010)

Blocking Underhand Attacks by Hidden Coalitions (Extended Version) - Matteo Cristani; Erisa Karafili; Luca Viganò 001 (CoRR, 2010)

Back from the future. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (J. Appl. Non Class. Logics, 2010)

Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. - Sebastian Mödersheim; Luca Viganò 001; David A. Basin (J. Comput. Secur., 2010)

Security protocols as environments: A lesson from non-collaboration. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (CollaborateCom, 2011)

A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes. - Simone Marchesini; Luca Viganò 001 (CRiSIS, 2011)

Towards Formal Validation of Trust and Security in the Internet of Services. - Roberto Carbone; Marius Minea; Sebastian Mödersheim; Serena Elisa Ponta; Mathieu Turuani; Luca Viganò 001 (Future Internet Assembly, 2011)

Blocking Underhand Attacks by Hidden Coalitions. - Matteo Cristani; Erisa Karafili; Luca Viganò 001 (ICAART (2), 2011)

Attack Interference: A Path to Defending Security Protocols. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (ICETE (Selected Papers), 2011)

Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (SECRYPT, 2011)

Meaning Negotiation as Inference - Elisa Burato; Matteo Cristani; Luca Viganò 001 (CoRR, 2011)

Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version] - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (CoRR, 2011)

Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". - Lujo Bauer; Sandro Etalle; Jerry den Hartog; Luca Viganò 001 (J. Autom. Reason., 2011)

Labelled natural deduction for a bundled branching temporal logic. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (J. Log. Comput., 2011)

Modal Deduction Systems for Quantum State Transformations. - Andrea Masini; Luca Viganò 001; Margherita Zorzi (J. Multiple Valued Log. Soft Comput., 2011)

Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. - Michele Barletta; Alberto Calvi; Silvio Ranise; Luca Viganò 001; Luca Zanetti (Scalable Comput. Pract. Exp., 2011)

A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures. - Michele Barletta; Silvio Ranise; Luca Viganò 001 (Serv. Oriented Comput. Appl., 2011)

Distributed temporal logic for the analysis of security protocol models. - David A. Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò 001 (Theor. Comput. Sci., 2011)

Towards a Logical Framework for Reasoning about Risk. - Matteo Cristani; Erisa Karafili; Luca Viganò 001 (CD-ARES, 2012)

An environmental paradigm for defending security protocols. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (CTS, 2012)

Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform. - Luca Viganò 001 (HPCS, 2012)

Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities. - Michele Barletta; Silvio Ranise; Luca Viganò 001 (STM, 2012)

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 Cuéllar; Gabriel Erzse; Simone Frau; et al. (TACAS, 2012)

Towards the Secure Provision and Consumption in the Internet of Services. - Luca Viganò 001 (TrustBus, 2012)

Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version). - Michele Barletta; Silvio Ranise; Luca Viganò 001 (CoRR, 2012)

A complete tableau procedure for risk analysis. - Matteo Cristani; Erisa Karafili; Luca Viganò 001 (CRiSIS, 2013)

The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. - Luca Viganò 001 (ICST, 2013)

Defining Privacy Is Supposed to Be Easy. - Sebastian Mödersheim; Thomas Groß 001; Luca Viganò 001 (LPAR, 2013)

Using Interpolation for the Verification of Security Protocols. - Marco Rocchetto; Luca Viganò 001; Marco Volpe 001; Giacomo Dalle Vedove (STM, 2013)

A Labeled Deduction System for the Logic UB. - Carlos Caleiro; Luca Viganò 001; Marco Volpe 001 (TIME, 2013)

On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. - Carlos Caleiro; Luca Viganò 001; Marco Volpe 001 (Logica Universalis, 2013)

Sufficient conditions for vertical composition of security protocols. - Sebastian Mödersheim; Luca Viganò 001 (AsiaCCS, 2014)

Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). - Michele Peroli; Luca Viganò 001; Matteo Zavatteri (Security Protocols Workshop, 2014)

Non-collaborative Attackers and How and Where to Defend Vulnerable Security Protocols (Transcript of Discussion). - Luca Viganò 001 (Security Protocols Workshop, 2014)

Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). - Luca Viganò 001; Marco Volpe 001; Margherita Zorzi (WoLLIC, 2014)

Tableau systems for reasoning about risk. - Matteo Cristani; Erisa Karafili; Luca Viganò 001 (J. Ambient Intell. Humaniz. Comput., 2014)

Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete. - Pedro Adão; Paulo Mateus; Luca Viganò 001 (Theor. Comput. Sci., 2014)

Alice and Bob: Reconciling Formal Models and Implementation. - Omar Almousa; Sebastian Mödersheim; Luca Viganò 001 (Programming Languages with Applications to Biology and Security, 2015)

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. - Omar Almousa; Sebastian Mödersheim; Paolo Modesti; Luca Viganò 001 (ESORICS (2), 2015)

Automated analysis of RBAC policies with temporal constraints and static role hierarchies. - Silvio Ranise; Anh Tuan Truong; Luca Viganò 001 (SAC, 2015)

Security is Beautiful. - Giampaolo Bella; Luca Viganò 001 (Security Protocols Workshop, 2015)

Security is Beautiful (Transcript of Discussion). - Luca Viganò 001 (Security Protocols Workshop, 2015)

Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version). - Carlo Combi; Luca Viganò 001; Matteo Zavatteri (CoRR, 2015)

Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (Frontiers ICT, 2015)

Special issue on security and high performance computing systems. - Luca Spalazzi; Luca Viganò 001 (J. Comput. Secur., 2015)

Security Constraints in Temporal Role-Based Access-Controlled Workflows. - Carlo Combi; Luca Viganò 001; Matteo Zavatteri (CODASPY, 2016)

A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems. - Katia Santacà; Matteo Cristani; Marco Rocchetto; Luca Viganò 001 (EUMAS/AT, 2016)

An automated approach for testing the security of web applications against chained attacks. - Alberto Calvi; Luca Viganò 001 (SAC, 2016)

Invisible Security. - Giampaolo Bella; Bruce Christianson; Luca Viganò 001 (Security Protocols Workshop, 2016)

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection. - Federico De Meo; Marco Rocchetto; Luca Viganò 001 (STM, 2016)

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version). - Federico De Meo; Marco Rocchetto; Luca Viganò 001 (CoRR, 2016)

Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. - Matteo Zavatteri; Carlo Combi; Roberto Posenato; Luca Viganò 001 (BPM, 2017)

A Formal Approach to Cyber-Physical Attacks. - Ruggero Lanotte; Massimo Merro; Riccardo Muradore; Luca Viganò 001 (CSF, 2017)

A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications. - Federico De Meo; Luca Viganò 001 (ESSoS, 2017)

Access Controlled Temporal Networks. - Carlo Combi; Roberto Posenato; Luca Viganò 001; Matteo Zavatteri (ICAART (2), 2017)

A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version). - Federico De Meo; Luca Viganò 001 (CoRR, 2017)

A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. - Luca Viganò 001; Marco Volpe 001; Margherita Zorzi (Inf. Comput., 2017)

An interpolation-based method for the verification of security protocols. - Marco Rocchetto; Luca Viganò 001; Marco Volpe 001 (J. Comput. Secur., 2017)

Compositional Meaning in Logic. - Carlos Caleiro; Luca Viganò 001 (Logica Universalis, 2017)

A Formal Approach to Analyzing Cyber-Forensics Evidence. - Erisa Karafili; Matteo Cristani; Luca Viganò 001 (ESORICS (1), 2018)

Constraint Networks Under Conditional Uncertainty. - Matteo Zavatteri; Luca Viganò 001 (ICAART (2), 2018)

Conditional Uncertainty in Constraint Networks. - Matteo Zavatteri; Luca Viganò 001 (ICAART (Revised Selected Papers), 2018)

Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience. - Giada Sciarretta; Roberto Carbone; Silvio Ranise; Luca Viganò 001 (POST, 2018)

MMM: May I Mine Your Mind. - Diego Sempreboni; Luca Viganò 001 (WWW (Companion Volume), 2018)

Gnirut: The Trouble With Being Born Human In An Autonomous World. - Luca Viganò 001; Diego Sempreboni (WWW (Companion Volume), 2018)

Smart Humans... WannaDie? - Diego Sempreboni; Luca Viganò 001 (CoRR, 2018)

Schrödinger's Man. - Luca Viganò 001; Diego Sempreboni (CoRR, 2018)

Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies. - Silvio Ranise; Anh Tuan Truong; Luca Viganò 001 (J. Comput. Secur., 2018)

MobSTer: A model-based security testing framework for web applications. - Michele Peroli; Federico De Meo; Luca Viganò 001; Davide Guardini (Softw. Test. Verification Reliab., 2018)

Resource Controllability of Workflows Under Conditional Uncertainty. - Matteo Zavatteri; Carlo Combi; Luca Viganò 001 (Business Process Management Workshops, 2019)

An Investigation into the "Beautification" of Security Ceremonies. - Giampaolo Bella; Karen Renaud; Diego Sempreboni; Luca Viganò 001 (ICETE (2), 2019)

What Are the Threats? (Charting the Threat Models of Security Ceremonies). - Diego Sempreboni; Giampaolo Bella; Rosario Giustolisi; Luca Viganò 001 (ICETE (2), 2019)

Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. - Matteo Zavatteri; Carlo Combi; Romeo Rizzi; Luca Viganò 001 (TIME, 2019)

Diagnostics as a Reasoning Process: From Logic Structure to Software Design. - Matteo Cristani; Francesco Olivieri; Claudio Tomazzoli; Luca Viganò 001; Margherita Zorzi (J. Comput. Inf. Technol., 2019)

It could be worse, it could be raining: reliable automatic meteorological forecasting. - Matteo Cristani; Francesco Domenichini; Claudio Tomazzoli; Luca Viganò 001; Margherita Zorzi (CoRR, 2019)

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version). - Ruggero Lanotte; Massimo Merro; Andrei Munteanu; Luca Viganò 001 (CoRR, 2019)

Explaining Cybersecurity with Films and the Arts (Extended Abstract). - Luca Viganò 001 (CoRR, 2019)

Conditional Simple Temporal Networks with Uncertainty and Resources. - Carlo Combi; Roberto Posenato; Luca Viganò 001; Matteo Zavatteri (J. Artif. Intell. Res., 2019)

Last man standing: Static, decremental and dynamic resiliency via controller synthesis. - Matteo Zavatteri; Luca Viganò 001 (J. Comput. Secur., 2019)

Conditional simple temporal networks with uncertainty and decisions. - Matteo Zavatteri; Luca Viganò 001 (Theor. Comput. Sci., 2019)

Alpha-Beta Privacy. - Sebastian Mödersheim; Luca Viganò 001 (ACM Trans. Priv. Secur., 2019)

Explainable Security. - Luca Viganò 001; Daniele Magazzeni (EuroS&P Workshops, 2020)

A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement. - Andrew Cook; Luca Viganò 001 (EuroS&P Workshops, 2020)

X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies. - Diego Sempreboni; Luca Viganò 001 (EuroS&P, 2020)

Privacy, Security and Trust in the Internet of Neurons. - Diego Sempreboni; Luca Viganò 001 (STAST, 2020)

A formal and automated approach to exploiting multi-stage attacks of web applications. - Federico De Meo; Luca Viganò 001 (J. Comput. Secur., 2020)

A Formal Approach to Physics-based Attacks in Cyber-physical Systems. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu; Luca Viganò 001 (ACM Trans. Priv. Secur., 2020)

Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login. - Giada Sciarretta; Roberto Carbone; Silvio Ranise; Luca Viganò 001 (ACM Trans. Priv. Secur., 2020)

Nicolas Cage is the Center of the Cybersecurity Universe. - Luca Viganò 001 (INTERACT (1), 2021)

Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way. - Matteo Zavatteri; Carlo Combi; Romeo Rizzi; Luca Viganò 001 (Inf. Comput., 2021)

Time-stamped claim logic. - João Rasga; Cristina Sernadas; Erisa Karafili; Luca Viganò 001 (Log. J. IGPL, 2021)

Event-Based Time-Stamped Claim Logic. - Jaime Ramos; João Rasga; Cristina Sernadas; Luca Viganò 001 (J. Log. Algebraic Methods Program., 2021)

Resource Controllability of Business Processes Under Conditional Uncertainty. - Matteo Zavatteri; Carlo Combi; Luca Viganò 001 (J. Data Semant., 2021)

Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). - Luca Viganò 001 (COORDINATION, 2022)

Privacy as Reachability. - Sébastien Gondron; Sebastian Mödersheim; Luca Viganò 001 (CSF, 2022)

Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show and Tell). - Luca Viganò 001 (SECRYPT, 2022)

Automatic Fair Exchanges. - Lorenzo Ceragioli; Letterio Galletta; Pierpaolo Degano; Luca Viganò 001 (CoRR, 2022)

Editorial: 2021 editors' pick: Computer science. - Paul Lukowicz; Anton Nijholt; Kaleem Siddiqi; Marcello Pelillo; Kristof Van Laerhoven; Luca Viganò 001; Nicola Zannone (Frontiers Comput. Sci., 2022)

Special issue on socio-technical aspects in security - editorial. - Thomas Groß 001; Luca Viganò 001 (J. Comput. Secur., 2022)

Cybersecurity, Nicolas Cage and Peppa Pig. - Luca Viganò 001 (ICISSP, 2023)

Formal Analysis of Security Protocols with Movement. - Andrew Cook; Luca Viganò 001 (ITASEC, 2023)

A mutation-based approach for the formal and automated analysis of security ceremonies. - Diego Sempreboni; Luca Viganò 001 (J. Comput. Secur., 2023)

Supporting the Design of Phishing Education, Training and Awareness interventions: an LLM-based approach. - Francesco Greco; Giuseppe Desolda; Luca Viganò 001 (CSE4IA@AVI, 2024)

A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. - Laouen Fernet; Sebastian Mödersheim; Luca Viganò 001 (CSF, 2024)

A Logic for Policy Based Resource Exchanges in Multiagent Systems. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta; Luca Viganò 001 (ECAI, 2024)

A Formal Approach for Modelling and Analysing Surgical Procedures. - Ioana Sandu; Rita Borgo; Prokar Dasgupta; Ramesh Thurairaja; Luca Viganò 001 (STM, 2024)

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version). - Ioana Sandu; Rita Borgo; Prokar Dasgupta; Ramesh Thurairaja; Luca Viganò 001 (CoRR, 2024)

Policies for Fair Exchanges of Resources. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta; Luca Viganò 001 (CoRR, 2024)

The cybersecurity of fairy tales. - Luca Viganò 001 (J. Cybersecur., 2024)

User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study. - Megha Quamara; Luca Viganò 001 (ICSA Companion, 2025)

MASSXR 2025: The 3rd Workshop on Multi-modal Affective and Social Behavior Analysis and Synthesis in Extended Reality (Affiliated with IEEE VR 2025). - Megha Quamara; Oya Çeliktutan; Luca Viganò 001; Aniket Bera; Pablo César; Funda Durupinar; Aline Normoyle; Chirag Raman; Zerrin Yumak (VR Workshops, 2025)

APOLLO: A GPT-based tool to detect phishing emails and generate explanations that warn users. - Giuseppe Desolda; Francesco Greco; Luca Viganò 001 (Proc. ACM Hum. Comput. Interact., 2025)

User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version). - Megha Quamara; Luca Viganò 001 (CoRR, 2025)

Can Large Language Models Improve Phishing Defense? A Large-Scale Controlled Experiment on Warning Dialogue Explanations. - Federico Maria Cau; Giuseppe Desolda; Francesco Greco; Lucio Davide Spano; Luca Viganò 001 (CoRR, 2025)

Evaluating Social Acceptance of eXtended Reality (XR) Agent Technology: A User Study (Extended Version). - Megha Quamara; Viktor Schmuck; Cristina Iani; Axel Primavesi; Alexander Plaum; Luca Viganò 001 (CoRR, 2025)