Luca Viganò

Luca Viganò, Maria-Camilla Fiazza, Michele Peroli, 2011, 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom).

Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies

Luca Viganò, Silvio Ranise, Anh Tuan Truong, 2018, J. Comput. Secur..

Explaining Cybersecurity with Films and the Arts (Extended Abstract) pdf

Luca Viganò, 2019, ArXiv.

Security Constraints in Temporal Role-Based Access-Controlled Workflows

Luca Viganò, Carlo Combi, Matteo Zavatteri, 2015, CODASPY.

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures

Sebastian Mödersheim, Luca Viganò, Yannick Chevalier, 2012, TACAS.

A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications pdf

Luca Viganò, Federico De Meo, 2017, ESSoS.

Defining Privacy Is Supposed to Be Easy

Sebastian Mödersheim, Luca Viganò, Thomas Groß, 2013, LPAR.

Blocking Underhand Attacks by Hidden Coalitions

Luca Viganò, Matteo Cristani, Erisa Karafili, 2011, ICAART.

Automated analysis of RBAC policies with temporal constraints and static role hierarchies

Luca Viganò, Silvio Ranise, Anh Tuan Truong, 2015, SAC.

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005)

Luca Viganò, Pierpaolo Degano, 2005 .

Large scale networks for human hand-object interaction: Functionally distinct roles for two premotor regions identified intraoperatively

Luca Viganò, Fabio Sambataro, Lorenzo Bello, 2020, NeuroImage.

A Formalization of Off-Line Guessing for Security Protocol Analysis

Sebastian Mödersheim, Luca Viganò, Paul Hankes Drielsma, 2005, LPAR.

Schrödinger's Man pdf

Luca Viganò, Diego Sempreboni, 2018, ArXiv.

Preface of the "Proceedings of the ICALP 2005 Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA’05)"

Luca Viganò, Pierpaolo Degano, 2005 .

What Are the Threats? (Charting the Threat Models of Security Ceremonies)

Luca Viganò, Rosario Giustolisi, Giampaolo Bella, 2019, ICETE.

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

Sebastian Mödersheim, Luca Viganò, Birgit Pfitzmann, 2006, IACR Cryptol. ePrint Arch..

Automated Security Protocol Analysis With the AVISPA Tool

Luca Viganò, L. Viganò, 2006, MFPS.

On the semantics of Alice&Bob specifications of security protocols

Luca Viganò, David Basin, Carlos Caleiro, 2006 .

On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators

Luca Viganò, Marco Volpe, Carlos Caleiro, 2013, Logica Universalis.

Metareasoning about Security Protocols using Distributed Temporal Logic

Luca Viganò, David A. Basin, Carlos Caleiro, 2005, Electron. Notes Theor. Comput. Sci..

Introduction and Preliminaries

Luca Viganò, 2000 .

Explainable Security

Luca Viganò, Daniele Magazzeni, L. Viganò, 2018, 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

Towards a Logical Framework for Reasoning about Risk

Luca Viganò, Matteo Cristani, Erisa Karafili, 2012, CD-ARES.

A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems

Luca Viganò, Matteo Cristani, Marco Rocchetto, 2016, EUMAS/AT.

An object-oriented library for mechatronic electrohydraulic systems

Luca Viganò, Paolo Rocco, Gianantonio Magnani, 2007 .

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA

Luca Viganò, Massimo Merro, Davide Benetti, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

A Modular Presentation of Modal Logics in a Logical Framework

Luca Viganò, Seán Matthews, David Basin, 1998 .

Towards Formal Validation of Trust and Security in the Internet of Services

Sebastian Mödersheim, Luca Viganò, Mathieu Turuani, 2011, Future Internet Assembly.

Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

Luca Viganò, Jerry den Hartog, Sandro Etalle, 2010, Journal of Automated Reasoning.

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

Sebastian Mödersheim, Luca Viganò, Yannick Chevalier, 2005, CAV.

MobSTer: A model‐based security testing framework for web applications

Luca Viganò, Michele Peroli, Federico De Meo, 2018, Softw. Test. Verification Reliab..

An On-the-fly model-checker for security protocol analysis

Sebastian Mödersheim, Luca Viganò, David Basin, 2003 .

Implementing Modal and Relevance Logics in a Logical Framework

Luca Viganò, David A. Basin, Seán Matthews, 1996, KR.

Principles of Security and Trust

Luca Viganò, Frank Piessens, 2016, Lecture Notes in Computer Science.

Modal Specifications of Trace-Based Security Properties

Luca Viganò, Rafael Accorsi, David Basin, 2002 .

Last man standing: Static, decremental and dynamic resiliency via controller synthesis

Luca Viganò, Matteo Zavatteri, 2019, J. Comput. Secur..

A Topography of Labelled Modal Logics

Luca Viganò, David A. Basin, Seán Matthews, 1996, FroCoS.

A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures

Luca Viganò, Silvio Ranise, Michele Barletta, 2010, Service Oriented Computing and Applications.

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection

Luca Viganò, Marco Rocchetto, Federico De Meo, 2016, STM.

Alice and Bob: Reconciling Formal Models and Implementation

Sebastian Mödersheim, Luca Viganò, Omar Almousa, 2015, Programming Languages with Applications to Biology and Security.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Sebastian Mödersheim, Luca Viganò, Paolo Modesti, 2015, ESORICS 2015.

Object Oriented Modeling of a Space Robotic Manipulator

Luca Viganò, Paolo Rocco, Gianni Ferretti, 2004 .

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment

Sebastian Mödersheim, Luca Viganò, Paolo Modesti, 2015, ESORICS.

Meaning Negotiation as Inference pdf

Luca Viganò, Matteo Cristani, Elisa Burato, 2011, ArXiv.

Back from the future

Luca Viganò, Andrea Masini, Marco Volpe, 2010, J. Appl. Non Class. Logics.

Modelling and simulation of a gripper with Dymola

Luca Viganò, Paolo Rocco, Gianni Ferretti, 2006 .

Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete

Luca Viganò, Paulo Mateus, Pedro Adão, 2014, Theor. Comput. Sci..

Special Issues of the International Journal of Information Security

Luca Viganò, Pierpaolo Degano, L. Viganò, 2007 .

Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols

Sebastian Mödersheim, Luca Viganò, David A. Basin, 2010, J. Comput. Secur..

Algebraic Intruder Deductions

Sebastian Mödersheim, Luca Viganò, David A. Basin, 2005, LPAR.

Encoding Labelled Non-Classical Logics in Isabelle

Luca Viganò, 2000 .

Distributed temporal logic for the analysis of security protocol models

Luca Viganò, David A. Basin, Jaime Ramos, 2011, Theor. Comput. Sci..

Labeled Natural Deduction Systems for a Family of Tense Logics

Luca Viganò, Marco Volpe, L. Viganò, 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

Invisible Security

Luca Viganò, Bruce Christianson, Giampaolo Bella, 2016, Security Protocols Workshop.

Diagnostics as a Reasoning Process: From Logic Structure to Software Design

Luca Viganò, Matteo Cristani, Francesco Olivieri, 2019, J. Comput. Inf. Technol..

Special Issues International Journal of Information and Computation

Luca Viganò, Ralf Küsters, Pierpaolo Degano, 2008 .

A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations

Luca Viganò, Marco Volpe, Margherita Zorzi, 2017, Inf. Comput..

Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services

Luca Viganò, Silvio Ranise, Luca Zanetti, 2011, Scalable Comput. Pract. Exp..

An automated approach for testing the security of web applications against chained attacks

Luca Viganò, Alberto Calvi, 2016, SAC.

OFMC: A Symbolic Model-Checker for Security Protocols

Sebastian Mödersheim, Luca Viganò, David Basin, 2004 .

A Formal Approach to Analyzing Cyber-Forensics Evidence pdf

Luca Viganò, Matteo Cristani, Erisa Karafili, 2018, ESORICS.

A Qualitative Modal Representation of Quantum Register Transformations

Luca Viganò, Andrea Masini, Margherita Zorzi, 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

Rotor state feedback in rotorcraft attitude control

Luca Viganò, Marco Lovera, Simone Panza, 2015 .

A Labeled Tableaux System for the Distributed Temporal Logic DTL

Luca Viganò, David A. Basin, Jaime Ramos, 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

A New Method for Bounding the Complexity of Modal Logics

Luca Viganò, David A. Basin, Seán Matthews, 1997, Kurt Gödel Colloquium.

Conditional Uncertainty in Constraint Networks

Luca Viganò, Matteo Zavatteri, L. Viganò, 2018, ICAART.

Labelled Deduction over Algebras of Truth-Values

Luca Viganò, Cristina Sernadas, João Rasga, 2002, FroCoS.

Privacy, Security and Trust in the Internet of Neurons pdf

Luca Viganò, Diego Sempreboni, L. Viganò, 2018, STAST.

A Formal Analysis of the CORBA Security Service

Luca Viganò, David A. Basin, Frank Rittinger, 2002, ZB.

A Deduction System for Meaning Negotiation

Luca Viganò, Matteo Cristani, Elisa Burato, 2010, DALT.

Towards a Metalogic for Security Protocol Analysis

Luca Viganò, David Basin, Carlos Caleiro, 2004 .

Blocking Underhand Attacks by Hidden Coalitions (Extended Version) pdf

Luca Viganò, Matteo Cristani, Erisa Karafili, 2010, ArXiv.

SEL Compiler & Abstract Analyzers

Giancarlo Succi, Luca Viganò, Giancarlo Colla, 1992, ALPUK.

Fibring Labelled Deduction Systems

Luca Viganò, Cristina Sernadas, João Rasga, 2002, J. Log. Comput..

Conclusions and Further Research

Luca Viganò, 2000 .

A History of Until

Luca Viganò, Andrea Masini, Marco Volpe, 2009, M4M.

On the semantics of Alice&Bob specifications of security protocols

Luca Viganò, David A. Basin, Carlos Caleiro, 2006, Theor. Comput. Sci..

The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services

Luca Viganò, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

Preface of the Special Issue of International Journal of Information Security on "Automated Reasoning for Security Protocol Analysis"

Luca Viganò, Pierpaolo Degano, 2008 .

Labelled Modal Logics: Quantifiers

Luca Viganò, David A. Basin, Seán Matthews, 1998, J. Log. Lang. Inf..

MMM: May I Mine Your Mind

Luca Viganò, Diego Sempreboni, 2018, WWW.

Constraint Networks Under Conditional Uncertainty

Luca Viganò, Matteo Zavatteri, L. Viganò, 2018, ICAART.

An interpolation-based method for the verification of security protocols

Luca Viganò, Marco Volpe, Marco Rocchetto, 2017, J. Comput. Secur..

Foundations and Applications of Security Analysis

Luca Viganò, Pierpaolo Degano, 2009, Lecture Notes in Computer Science.

Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures

Luca Viganò, Silvio Ranise, Michele Barletta, 2009, 2009 International Conference on Computational Science and Engineering.

Attack interference in non-collaborative scenarios for security protocol analysis

Luca Viganò, Maria-Camilla Fiazza, Michele Peroli, 2011, Proceedings of the International Conference on Security and Cryptography.

Constraint differentiation: A new reduction technique for constraint-based analysis of security protocols

Sebastian Mödersheim, Luca Viganò, David Basin, 2003 .

Building and Executing Proof Strategies in a Formal Metatheory

Luca Viganò, Alessandro Armando, Alessandro Cimatti, 1993, AI*IA.

Time-Stamped Claim Logic pdf

Luca Viganò, Cristina Sernadas, João Rasga, 2019, ArXiv.

A Formal Approach to Cyber-Physical Attacks

Riccardo Muradore, Luca Viganò, Ruggero Lanotte, 2016, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).

Secure Pseudonymous Channels

Sebastian Mödersheim, Luca Viganò, 2009, ESORICS.

Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC

Luca Viganò, Silvio Ranise, Alberto Calvi, 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

A complete tableau procedure for risk analysis

Luca Viganò, Matteo Cristani, Erisa Karafili, 2013, 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS).

Security is Beautiful (Transcript of Discussion)

Luca Viganò, 2015, Security Protocols Workshop.

Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience

Luca Viganò, Silvio Ranise, Roberto Carbone, 2018, POST.

Using Interpolation for the Verification of Security Protocols

Luca Viganò, Marco Volpe, Marco Rocchetto, 2013, STM.

Simulazione real-time di modelli Modelica in ambiente Linux/RTAI

Luca Viganò, Paolo Rocco, Gianni Ferretti, 2006 .

Labelled Tableaux for Distributed Temporal Logic

Luca Viganò, David A. Basin, Jaime Ramos, 2009, J. Log. Comput..

Tableau systems for reasoning about risk

Luca Viganò, Matteo Cristani, Erisa Karafili, 2014, J. Ambient Intell. Humaniz. Comput..

Compositional Meaning in Logic

Luca Viganò, Carlos Caleiro, L. Viganò, 2017, Logica Universalis.

Towards a Quantitative Analysis of Security Protocols

Luca Viganò, Paulo Mateus, Pedro Adão, 2006, Electron. Notes Theor. Comput. Sci..

An O(n log n)-Space Decision Procedure for the Relevance Logic B+

Luca Viganò, 2000, Stud Logica.

Labelled non-classical logics

Luca Viganò, L. Viganò, 2000 .

Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity

Luca Viganò, Cristina Sernadas, Amílcar Sernadas, 2004, Log. J. IGPL.

Alpha-Beta Privacy

Sebastian Mödersheim, Luca Viganò, L. Viganò, 2019, ACM Trans. Priv. Secur..

Security is Beautiful

Luca Viganò, Giampaolo Bella, L. Viganò, 2015, Security Protocols Workshop.

Towards the Secure Provision and Consumption in the Internet of Services

Luca Viganò, 2012, TrustBus.

Towards an awareness-based semantics for security protocol analysis

Luca Viganò, David A. Basin, Rafael Accorsi, 2001, Electron. Notes Theor. Comput. Sci..

An On-the-Fly Model-Checker for Security Protocol Analysis

Sebastian Mödersheim, Luca Viganò, David A. Basin, 2003, ESORICS.

Smart Humans... WannaDie? pdf

Luca Viganò, Diego Sempreboni, 2018, ArXiv.

Modal Deduction Systems for Quantum State Transformations

Luca Viganò, Andrea Masini, Margherita Zorzi, 2011, J. Multiple Valued Log. Soft Comput..

A Recipe for the Complexity Analysis of Non-Classical Logics

Luca Viganò, David Basin, D. Basin, 1998, FroCoS.

Conditional Simple Temporal Networks with Uncertainty and Resources

Luca Viganò, Carlo Combi, Roberto Posenato, 2019, J. Artif. Intell. Res..

Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) pdf

Luca Viganò, Michele Peroli, Matteo Zavatteri, 2014, Security Protocols Workshop.

Deconstructing Alice and Bob

Luca Viganò, David A. Basin, Carlos Caleiro, 2005, ARSPA@ICALP.

Formalizing and Analyzing Sender Invariance

Sebastian Mödersheim, Luca Viganò, David A. Basin, 2006, Formal Aspects in Security and Trust.

Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty

Luca Viganò, Carlo Combi, Roberto Posenato, 2017, BPM.

Preface

Luca Viganò, Pierpaolo Degano, 2005, Electron. Notes Theor. Comput. Sci..

Truth-values as labels: a general recipe for labelled deduction

Luca Viganò, Cristina Sernadas, João Rasga, 2003, J. Appl. Non Class. Logics.

Direct Electrical Stimulation of Premotor Areas: Different Effects on Hand Muscle Activity during Object Manipulation

Luca Viganò, Lorenzo Bello, Marco Rabuffetti, 2019, Cerebral cortex.

Surgery of Colorectal Liver Metastases: Pushing the Limits

Luca Viganò, Christian Toso, Guido Torzilli, 2016, Liver Cancer.

Liver Surgery for Colorectal Metastases: Results after 10 Years of Follow-Up. Long-Term Survivors, Late Recurrences, and Prognostic Role of Morbidity

Luca Viganò, Alessandro Ferrero, L. Capussotti, 2008, Annals of Surgical Oncology.

Anatomo-functional characterisation of the human “hand-knob”: A direct electrophysiological study

Luca Viganò, Lorenzo Bello, Henrietta Howells, 2019, Cortex.

Drop-out between the two liver resections of two-stage hepatectomy. Patient selection or loss of chance?

Luca Viganò, Guido Torzilli, Denis Castaing, 2016 .

Postoperative Liver Dysfunction and Future Remnant Liver: Where Is the Limit?

Luca Viganò, Alessandro Ferrero, Daniele Regge, 2007, World Journal of Surgery.

Open Liver Resection, Laparoscopic Liver Resection, and Percutaneous Thermal Ablation for Patients with Solitary Small Hepatocellular Carcinoma (≤30 mm): Review of the Literature and Proposal for a Therapeutic Strategy

Luca Viganò, Fabio Procopio, Luigi Solbiati, 2018, Digestive Surgery.

Intraoperative Liver Ultrasound Still Affects Surgical Strategy for Patients with Colorectal Metastases in the Modern Era

Luca Viganò, Alessandro Ferrero, F. Giuliante, 2013, World Journal of Surgery.

Frontal pathways in cognitive control: direct evidence from intraoperative stimulation and diffusion tractography

Luca Viganò, Lorenzo Bello, Marco Catani, 2019, Brain : a journal of neurology.