Luca Viganò

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 73

Top Venues

CoRR

J. Comput. Secur.

Security Protocols Workshop

ACM Trans. Priv. Secur.

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Diego Sempreboni, Luca Viganò
A mutation-based approach for the formal and automated analysis of security ceremonies. J. Comput. Secur. 31 (4) (2023)
Andrew Cook, Luca Viganò
Formal Analysis of Security Protocols with Movement. ITASEC (2023)
Luca Viganò
Cybersecurity, Nicolas Cage and Peppa Pig. ICISSP (2023)
Paul Lukowicz, Anton Nijholt, Kaleem Siddiqi, Marcello Pelillo, Kristof Van Laerhoven, Luca Viganò, Nicola Zannone
Editorial: 2021 editors' pick: Computer science. Frontiers Comput. Sci. 4 (2022)
Sébastien Gondron, Sebastian Mödersheim, Luca Viganò
Privacy as Reachability. CSF (2022)
Thomas Groß, Luca Viganò
Special issue on socio-technical aspects in security - editorial. J. Comput. Secur. 30 (3) (2022)
Luca Viganò
Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show and Tell). SECRYPT (2022)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
Automatic Fair Exchanges. CoRR (2022)
Luca Viganò
Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). COORDINATION (2022)
João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
Time-stamped claim logic. Log. J. IGPL 29 (3) (2021)
Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way. Inf. Comput. 280 (2021)
Luca Viganò
Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show And Tell). CoRR (2021)
Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò
Event-Based Time-Stamped Claim Logic. J. Log. Algebraic Methods Program. 121 (2021)
Luca Viganò
Nicolas Cage is the Center of the Cybersecurity Universe. INTERACT (1) (2021)
Matteo Zavatteri, Carlo Combi, Luca Viganò
Resource Controllability of Business Processes Under Conditional Uncertainty. J. Data Semant. 10 (1-2) (2021)
Federico De Meo, Luca Viganò
A formal and automated approach to exploiting multi-stage attacks of web applications. J. Comput. Secur. 28 (5) (2020)
Luca Viganò, Daniele Magazzeni
Explainable Security. EuroS&P Workshops (2020)
Andrew Cook, Luca Viganò
A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement. EuroS&P Workshops (2020)
Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login. ACM Trans. Priv. Secur. 23 (3) (2020)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
A Formal Approach to Physics-based Attacks in Cyber-physical Systems. ACM Trans. Priv. Secur. 23 (1) (2020)
Diego Sempreboni, Luca Viganò
X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies. EuroS&P (2020)
Diego Sempreboni, Luca Viganò
Privacy, Security and Trust in the Internet of Neurons. STAST (2020)
Matteo Zavatteri, Carlo Combi, Luca Viganò
Resource Controllability of Workflows Under Conditional Uncertainty. Business Process Management Workshops (2019)
Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
Conditional Simple Temporal Networks with Uncertainty and Resources. J. Artif. Intell. Res. 64 (2019)
Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi
It could be worse, it could be raining: reliable automatic meteorological forecasting. CoRR (2019)
Giampaolo Bella, Karen Renaud, Diego Sempreboni, Luca Viganò
An Investigation into the "Beautification" of Security Ceremonies. ICETE (2) (2019)
Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. TIME (2019)
Luca Viganò
Explaining Cybersecurity with Films and the Arts (Extended Abstract). CoRR (2019)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version). CoRR (2019)
Matteo Zavatteri, Luca Viganò
Conditional simple temporal networks with uncertainty and decisions. Theor. Comput. Sci. 797 (2019)
Sebastian Mödersheim, Luca Viganò
Alpha-Beta Privacy. ACM Trans. Priv. Secur. 22 (1) (2019)
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi
Diagnostics as a Reasoning Process: From Logic Structure to Software Design. J. Comput. Inf. Technol. 27 (1) (2019)
João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
Time-Stamped Claim Logic. CoRR (2019)
Diego Sempreboni, Giampaolo Bella, Rosario Giustolisi, Luca Viganò
What Are the Threats? (Charting the Threat Models of Security Ceremonies). ICETE (2) (2019)
Matteo Zavatteri, Luca Viganò
Last man standing: Static, decremental and dynamic resiliency via controller synthesis. J. Comput. Secur. 27 (3) (2019)
Erisa Karafili, Matteo Cristani, Luca Viganò
A Formal Approach to Analyzing Cyber-Forensics Evidence. CoRR (2018)
Diego Sempreboni, Luca Viganò
Privacy, Security and Trust in the Internet of Neurons. CoRR (2018)
Erisa Karafili, Matteo Cristani, Luca Viganò
A Formal Approach to Analyzing Cyber-Forensics Evidence. ESORICS (1) (2018)
Luca Viganò, Diego Sempreboni
Gnirut: The Trouble With Being Born Human In An Autonomous World. CoRR (2018)
Michele Peroli, Federico De Meo, Luca Viganò, Davide Guardini
MobSTer: A model-based security testing framework for web applications. Softw. Test. Verification Reliab. 28 (8) (2018)
Diego Sempreboni, Luca Viganò
MMM: May I Mine Your Mind? CoRR (2018)
Diego Sempreboni, Luca Viganò
MMM: May I Mine Your Mind. WWW (Companion Volume) (2018)
Luca Viganò, Diego Sempreboni
Schrödinger's Man. CoRR (2018)
Matteo Zavatteri, Luca Viganò
Conditional Uncertainty in Constraint Networks. ICAART (Revised Selected Papers) (2018)
Luca Viganò, Daniele Magazzeni
Explainable Security. CoRR (2018)
Diego Sempreboni, Luca Viganò
Smart Humans... WannaDie? CoRR (2018)
Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience. POST (2018)
Luca Viganò, Diego Sempreboni
Gnirut: The Trouble With Being Born Human In An Autonomous World. WWW (Companion Volume) (2018)
Silvio Ranise, Anh Tuan Truong, Luca Viganò
Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies. J. Comput. Secur. 26 (4) (2018)
Matteo Zavatteri, Luca Viganò
Constraint Networks Under Conditional Uncertainty. ICAART (2) (2018)
Luca Viganò, Marco Volpe, Margherita Zorzi
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Inf. Comput. 255 (2017)
Matteo Zavatteri, Carlo Combi, Roberto Posenato, Luca Viganò
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. BPM (2017)
Carlos Caleiro, Luca Viganò
Compositional Meaning in Logic. Logica Universalis 11 (3) (2017)
Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
Access Controlled Temporal Networks. ICAART (2) (2017)
Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
A Formal Approach to Cyber-Physical Attacks. CSF (2017)
Marco Rocchetto, Luca Viganò, Marco Volpe
An interpolation-based method for the verification of security protocols. J. Comput. Secur. 25 (6) (2017)
Federico De Meo, Luca Viganò
A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications. ESSoS (2017)
Federico De Meo, Luca Viganò
A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version). CoRR (2017)
Giampaolo Bella, Bruce Christianson, Luca Viganò
Invisible Security. Security Protocols Workshop (2016)
Katia Santacà, Matteo Cristani, Marco Rocchetto, Luca Viganò
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems. EUMAS/AT (2016)
Alberto Calvi, Luca Viganò
An automated approach for testing the security of web applications against chained attacks. SAC (2016)
Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
A Formal Approach to Cyber-Physical Attacks. CoRR (2016)
Federico De Meo, Marco Rocchetto, Luca Viganò
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection. STM (2016)
Federico De Meo, Marco Rocchetto, Luca Viganò
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version). CoRR (2016)
Carlo Combi, Luca Viganò, Matteo Zavatteri
Security Constraints in Temporal Role-Based Access-Controlled Workflows. CODASPY (2016)
Omar Almousa, Sebastian Mödersheim, Luca Viganò
Alice and Bob: Reconciling Formal Models and Implementation. Programming Languages with Applications to Biology and Security (2015)
Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. ESORICS (2) (2015)
Silvio Ranise, Anh Tuan Truong, Luca Viganò
Automated analysis of RBAC policies with temporal constraints and static role hierarchies. SAC (2015)
Luca Viganò
Security is Beautiful (Transcript of Discussion). Security Protocols Workshop (2015)
Giampaolo Bella, Luca Viganò
Security is Beautiful. Security Protocols Workshop (2015)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios. Frontiers ICT 2 (2015)
Luca Spalazzi, Luca Viganò
Special issue on security and high performance computing systems. J. Comput. Secur. 23 (5) (2015)
Carlo Combi, Luca Viganò, Matteo Zavatteri
Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version). CoRR (2015)
Luca Viganò
Non-collaborative Attackers and How and Where to Defend Vulnerable Security Protocols (Transcript of Discussion). Security Protocols Workshop (2014)
Matteo Cristani, Erisa Karafili, Luca Viganò
Tableau systems for reasoning about risk. J. Ambient Intell. Humaniz. Comput. 5 (2) (2014)
Sebastian Mödersheim, Luca Viganò
Sufficient conditions for vertical composition of security protocols. AsiaCCS (2014)
Luca Viganò, Marco Volpe, Margherita Zorzi
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). WoLLIC (2014)
Pedro Adão, Paulo Mateus, Luca Viganò
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete. Theor. Comput. Sci. 538 (2014)
Michele Peroli, Luca Viganò, Matteo Zavatteri
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). Security Protocols Workshop (2014)
Michele Peroli, Luca Viganò, Matteo Zavatteri
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). CoRR (2014)
Sebastian Mödersheim, Thomas Groß, Luca Viganò
Defining Privacy Is Supposed to Be Easy. LPAR (2013)
Carlos Caleiro, Luca Viganò, Marco Volpe
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. Logica Universalis 7 (1) (2013)
Luca Viganò
The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. ICST (2013)
Matteo Cristani, Erisa Karafili, Luca Viganò
A complete tableau procedure for risk analysis. CRiSIS (2013)
Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove
Using Interpolation for the Verification of Security Protocols. STM (2013)
Carlos Caleiro, Luca Viganò, Marco Volpe
A Labeled Deduction System for the Logic UB. TIME (2013)
Michele Barletta, Silvio Ranise, Luca Viganò
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version). CoRR (2012)
Luca Viganò
Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform. HPCS (2012)
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ò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)
Michele Barletta, Silvio Ranise, Luca Viganò
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities. STM (2012)
Luca Viganò
Towards the Secure Provision and Consumption in the Internet of Services. TrustBus (2012)
Matteo Cristani, Erisa Karafili, Luca Viganò
Towards a Logical Framework for Reasoning about Risk. CD-ARES (2012)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
An environmental paradigm for defending security protocols. CTS (2012)
Andrea Masini, Luca Viganò, Marco Volpe
Labelled natural deduction for a bundled branching temporal logic. J. Log. Comput. 21 (6) (2011)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
Attack Interference: A Path to Defending Security Protocols. ICETE (Selected Papers) (2011)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version] CoRR (2011)
Michele Barletta, Silvio Ranise, Luca Viganò
A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures. Serv. Oriented Comput. Appl. 5 (2) (2011)
David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. 412 (31) (2011)
Matteo Cristani, Erisa Karafili, Luca Viganò
Blocking Underhand Attacks by Hidden Coalitions. ICAART (2) (2011)
Elisa Burato, Matteo Cristani, Luca Viganò
Meaning Negotiation as Inference CoRR (2011)

Luca Viganò.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luca Viganò