Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuca Viganò 0001
Person information
- affiliation: King's College London, UK
Other persons with the same name
- Luca Viganò 0002 — EU Engergy, Concorezzo, Italy
- Luca Viganò 0003 — Politecnico di Milano, Italy
- Luca Viganò 0004
![[0000-0002-4108-4832]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-4108-4832")
— University of Milan, Department of Oncology and Hemato-Oncology, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j48]Diego Sempreboni, Luca Viganò:
A mutation-based approach for the formal and automated analysis of security ceremonies. J. Comput. Secur. 31(4): 293-364 (2023)- [c92]Luca Viganò:
Cybersecurity, Nicolas Cage and Peppa Pig. ICISSP 2023: 7 - [c91]Andrew Cook, Luca Viganò:
Formal Analysis of Security Protocols with Movement. ITASEC 2023 - 2022
- [j47]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) - [j46]Thomas Groß, Luca Viganò:
Special issue on socio-technical aspects in security - editorial. J. Comput. Secur. 30(3): 325-326 (2022) - [c90]Luca Viganò:
Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). COORDINATION 2022: 3-14 - [c89]Sébastien Gondron, Sebastian Mödersheim, Luca Viganò:
Privacy as Reachability. CSF 2022: 130-146 - [c88]Luca Viganò:
Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show and Tell). SECRYPT 2022: 7 - [e8]Simon E. Parkin, Luca Viganò:
Socio-Technical Aspects in Security - 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13176, Springer 2022, ISBN 978-3-031-10182-3 [contents] - [i28]Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò:
Automatic Fair Exchanges. CoRR abs/2207.12326 (2022) - 2021
- [j45]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: 104637 (2021) - [j44]João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò:
Time-stamped claim logic. Log. J. IGPL 29(3): 303-332 (2021) - [j43]Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò:
Event-Based Time-Stamped Claim Logic. J. Log. Algebraic Methods Program. 121: 100684 (2021) - [j42]Matteo Zavatteri, Carlo Combi, Luca Viganò:
Resource Controllability of Business Processes Under Conditional Uncertainty. J. Data Semant. 10(1-2): 19-39 (2021) - [c87]Luca Viganò:
Nicolas Cage is the Center of the Cybersecurity Universe. INTERACT (1) 2021: 14-33 - [e7]Thomas Groß, Luca Viganò:
Socio-Technical Aspects in Security and Trust - 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12812, Springer 2021, ISBN 978-3-030-79317-3 [contents] - [i27]Luca Viganò:
Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show And Tell). CoRR abs/2103.11030 (2021) - 2020
- [j41]Federico De Meo, Luca Viganò:
A formal and automated approach to exploiting multi-stage attacks of web applications. J. Comput. Secur. 28(5): 525-576 (2020) - [j40]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): 3:1-3:41 (2020) - [j39]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): 13:1-13:37 (2020) - [c86]Diego Sempreboni, Luca Viganò:
X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies. EuroS&P 2020: 87-104 - [c85]Andrew Cook, Luca Viganò:
A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement. EuroS&P Workshops 2020: 280-292 - [c84]Luca Viganò, Daniele Magazzeni:
Explainable Security. EuroS&P Workshops 2020: 293-300 - [c83]Diego Sempreboni, Luca Viganò:
Privacy, Security and Trust in the Internet of Neurons. STAST 2020: 191-205
2010 – 2019
- 2019
- [j38]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): 43-57 (2019) - [j37]Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri:
Conditional Simple Temporal Networks with Uncertainty and Resources. J. Artif. Intell. Res. 64: 931-985 (2019) - [j36]Matteo Zavatteri, Luca Viganò:
Last man standing: Static, decremental and dynamic resiliency via controller synthesis. J. Comput. Secur. 27(3): 343-373 (2019) - [j35]Matteo Zavatteri, Luca Viganò:
Conditional simple temporal networks with uncertainty and decisions. Theor. Comput. Sci. 797: 77-101 (2019) - [j34]Sebastian Mödersheim, Luca Viganò:
Alpha-Beta Privacy. ACM Trans. Priv. Secur. 22(1): 7:1-7:35 (2019) - [c82]Matteo Zavatteri, Carlo Combi, Luca Viganò:
Resource Controllability of Workflows Under Conditional Uncertainty. Business Process Management Workshops 2019: 68-80 - [c81]Giampaolo Bella, Karen Renaud, Diego Sempreboni, Luca Viganò:
An Investigation into the "Beautification" of Security Ceremonies. ICETE (2) 2019: 125-136 - [c80]Diego Sempreboni, Giampaolo Bella, Rosario Giustolisi, Luca Viganò:
What Are the Threats? (Charting the Threat Models of Security Ceremonies). ICETE (2) 2019: 161-172 - [c79]Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò:
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. TIME 2019: 16:1-16:17 - [i26]Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi:
It could be worse, it could be raining: reliable automatic meteorological forecasting. CoRR abs/1901.09867 (2019) - [i25]Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò:
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version). CoRR abs/1902.04572 (2019) - [i24]Luca Viganò:
Explaining Cybersecurity with Films and the Arts (Extended Abstract). CoRR abs/1905.01730 (2019) - [i23]João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò:
Time-Stamped Claim Logic. CoRR abs/1907.06541 (2019) - 2018
- [j33]Silvio Ranise, Anh Tuan Truong, Luca Viganò:
Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies. J. Comput. Secur. 26(4): 423-458 (2018) - [j32]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) - [c78]Erisa Karafili, Matteo Cristani, Luca Viganò:
A Formal Approach to Analyzing Cyber-Forensics Evidence. ESORICS (1) 2018: 281-301 - [c77]Matteo Zavatteri, Luca Viganò:
Constraint Networks Under Conditional Uncertainty. ICAART (2) 2018: 41-52 - [c76]Matteo Zavatteri, Luca Viganò:
Conditional Uncertainty in Constraint Networks. ICAART (Revised Selected Papers) 2018: 130-160 - [c75]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: 188-213 - [c74]Luca Viganò, Diego Sempreboni:
Gnirut: The Trouble With Being Born Human In An Autonomous World. WWW (Companion Volume) 2018: 1567-1571 - [c73]Diego Sempreboni, Luca Viganò:
MMM: May I Mine Your Mind. WWW (Companion Volume) 2018: 1573-1576 - [i22]Erisa Karafili, Matteo Cristani, Luca Viganò:
A Formal Approach to Analyzing Cyber-Forensics Evidence. CoRR abs/1804.09970 (2018) - [i21]Luca Viganò, Daniele Magazzeni:
Explainable Security. CoRR abs/1807.04178 (2018) - [i20]Diego Sempreboni, Luca Viganò:
Privacy, Security and Trust in the Internet of Neurons. CoRR abs/1807.06077 (2018) - [i19]Luca Viganò, Diego Sempreboni:
Gnirut: The Trouble With Being Born Human In An Autonomous World. CoRR abs/1807.06078 (2018) - [i18]Diego Sempreboni, Luca Viganò:
MMM: May I Mine Your Mind? CoRR abs/1812.05388 (2018) - [i17]Diego Sempreboni, Luca Viganò:
Smart Humans... WannaDie? CoRR abs/1812.05834 (2018) - [i16]Luca Viganò, Diego Sempreboni:
Schrödinger's Man. CoRR abs/1812.05839 (2018) - 2017
- [j31]Luca Viganò, Marco Volpe, Margherita Zorzi:
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Inf. Comput. 255: 311-333 (2017) - [j30]Marco Rocchetto, Luca Viganò, Marco Volpe:
An interpolation-based method for the verification of security protocols. J. Comput. Secur. 25(6): 463-510 (2017) - [j29]Carlos Caleiro, Luca Viganò:
Compositional Meaning in Logic. Logica Universalis 11(3): 283-295 (2017) - [c72]Matteo Zavatteri, Carlo Combi, Roberto Posenato, Luca Viganò:
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. BPM 2017: 235-251 - [c71]Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò:
A Formal Approach to Cyber-Physical Attacks. CSF 2017: 436-450 - [c70]Federico De Meo, Luca Viganò:
A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications. ESSoS 2017: 196-212 - [c69]Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri:
Access Controlled Temporal Networks. ICAART (2) 2017: 118-131 - [i15]Federico De Meo, Luca Viganò:
A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version). CoRR abs/1705.03658 (2017) - 2016
- [c68]Carlo Combi, Luca Viganò, Matteo Zavatteri:
Security Constraints in Temporal Role-Based Access-Controlled Workflows. CODASPY 2016: 207-218 - [c67]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: 261-276 - [c66]Alberto Calvi, Luca Viganò:
An automated approach for testing the security of web applications against chained attacks. SAC 2016: 2095-2102 - [c65]Giampaolo Bella, Bruce Christianson, Luca Viganò:
Invisible Security. Security Protocols Workshop 2016: 1-9 - [c64]Federico De Meo, Marco Rocchetto, Luca Viganò:
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection. STM 2016: 179-195 - [e6]Frank Piessens, Luca Viganò:
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. Lecture Notes in Computer Science 9635, Springer 2016, ISBN 978-3-662-49634-3 [contents] - [i14]Federico De Meo, Marco Rocchetto, Luca Viganò:
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version). CoRR abs/1605.00358 (2016) - [i13]Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò:
A Formal Approach to Cyber-Physical Attacks. CoRR abs/1611.01377 (2016) - 2015
- [j28]Maria-Camilla Fiazza, Michele Peroli, Luca Viganò:
Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios. Frontiers ICT 2: 11 (2015) - [j27]Luca Spalazzi, Luca Viganò:
Special issue on security and high performance computing systems. J. Comput. Secur. 23(5): 539-540 (2015) - [c63]Omar Almousa, Sebastian Mödersheim, Luca Viganò:
Alice and Bob: Reconciling Formal Models and Implementation. Programming Languages with Applications to Biology and Security 2015: 66-85 - [c62]Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò:
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. ESORICS (2) 2015: 209-229 - [c61]Silvio Ranise, Anh Tuan Truong, Luca Viganò:
Automated analysis of RBAC policies with temporal constraints and static role hierarchies. SAC 2015: 2177-2184 - [c60]Giampaolo Bella, Luca Viganò:
Security is Beautiful. Security Protocols Workshop 2015: 247-250 - [c59]Luca Viganò:
Security is Beautiful (Transcript of Discussion). Security Protocols Workshop 2015: 251-260 - [e5]Cédric Fournet, Michael W. Hicks, Luca Viganò:
IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7538-2 [contents] - [i12]Carlo Combi, Luca Viganò, Matteo Zavatteri:
Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version). CoRR abs/1512.06404 (2015) - 2014
- [j26]Matteo Cristani, Erisa Karafili, Luca Viganò:
Tableau systems for reasoning about risk. J. Ambient Intell. Humaniz. Comput. 5(2): 215-247 (2014) - [j25]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: 2-15 (2014) - [c58]Sebastian Mödersheim, Luca Viganò:
Sufficient conditions for vertical composition of security protocols. AsiaCCS 2014: 435-446 - [c57]Michele Peroli, Luca Viganò, Matteo Zavatteri:
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). Security Protocols Workshop 2014: 69-90 - [c56]Luca Viganò:
Non-collaborative Attackers and How and Where to Defend Vulnerable Security Protocols (Transcript of Discussion). Security Protocols Workshop 2014: 91-99 - [c55]Luca Viganò, Marco Volpe, Margherita Zorzi:
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). WoLLIC 2014: 1-19 - [i11]Michele Peroli, Luca Viganò, Matteo Zavatteri:
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). CoRR abs/1405.6912 (2014) - 2013
- [j24]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): 33-69 (2013) - [c54]Matteo Cristani, Erisa Karafili, Luca Viganò:
A complete tableau procedure for risk analysis. CRiSIS 2013: 1-8 - [c53]Luca Viganò:
The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. ICST 2013: 497-498 - [c52]Sebastian Mödersheim, Thomas Groß, Luca Viganò:
Defining Privacy Is Supposed to Be Easy. LPAR 2013: 619-635 - [c51]Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove:
Using Interpolation for the Verification of Security Protocols. STM 2013: 99-114 - [c50]Carlos Caleiro, Luca Viganò, Marco Volpe:
A Labeled Deduction System for the Logic UB. TIME 2013: 45-53 - [e4]Margus Veanes, Luca Viganò:
Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Lecture Notes in Computer Science 7942, Springer 2013, ISBN 978-3-642-38915-3 [contents] - 2012
- [c49]Matteo Cristani, Erisa Karafili, Luca Viganò:
Towards a Logical Framework for Reasoning about Risk. CD-ARES 2012: 609-623 - [c48]Maria-Camilla Fiazza, Michele Peroli, Luca Viganò:
An environmental paradigm for defending security protocols. CTS 2012: 427-438 - [c47]Luca Viganò:
Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform. HPCS 2012: 444-447 - [c46]Michele Barletta, Silvio Ranise, Luca Viganò:
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities. STM 2012: 49-64 - [c45]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: 267-282 - [c44]Luca Viganò:
Towards the Secure Provision and Consumption in the Internet of Services. TrustBus 2012: 214-215 - [i10]Michele Barletta, Silvio Ranise, Luca Viganò:
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version). CoRR abs/1206.3180 (2012) - 2011
- [j23]Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò:
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". J. Autom. Reason. 46(3-4): 223-224 (2011) - [j22]Andrea Masini, Luca Viganò, Marco Volpe:
Labelled natural deduction for a bundled branching temporal logic. J. Log. Comput. 21(6): 1093-1163 (2011) - [j21]Andrea Masini, Luca Viganò, Margherita Zorzi:
Modal Deduction Systems for Quantum State Transformations. J. Multiple Valued Log. Soft Comput. 17(5-6): 475-519 (2011) - [j20]Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti:
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. Scalable Comput. Pract. Exp. 12(1) (2011) - [j19]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): 105-137 (2011) - [j18]David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò:
Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. 412(31): 4007-4043 (2011) - [c43]Maria-Camilla Fiazza, Michele Peroli, Luca Viganò:
Security protocols as environments: A lesson from non-collaboration. CollaborateCom 2011: 479-486 - [c42]Simone Marchesini, Luca Viganò:
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes. CRiSIS 2011: 78-87 - [c41]Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò:
Towards Formal Validation of Trust and Security in the Internet of Services. Future Internet Assembly 2011: 193-208 - [c40]Matteo Cristani, Erisa Karafili, Luca Viganò:
Blocking Underhand Attacks by Hidden Coalitions. ICAART (2) 2011: 311-320 - [c39]Maria-Camilla Fiazza, Michele Peroli, Luca Viganò:
Attack Interference: A Path to Defending Security Protocols. ICETE (Selected Papers) 2011: 296-314 - [c38]Maria-Camilla Fiazza, Michele Peroli, Luca Viganò:
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis. SECRYPT 2011: 144-156 - [i9]Elisa Burato, Matteo Cristani, Luca Viganò:
Meaning Negotiation as Inference. CoRR abs/1101.4356 (2011) - [i8]Maria-Camilla Fiazza, Michele Peroli, Luca Viganò:
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]. CoRR abs/1106.3746 (2011) - 2010
- [j17]Andrea Masini, Luca Viganò, Marco Volpe:
Back from the future. J. Appl. Non Class. Logics 20(3): 241-277 (2010) - [j16]Sebastian Mödersheim, Luca Viganò, David A. Basin:
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. J. Comput. Secur. 18(4): 575-618 (2010) - [c37]Elisa Burato, Matteo Cristani, Luca Viganò:
A Deduction System for Meaning Negotiation. DALT 2010: 78-95 - [c36]Davide Benetti, Massimo Merro, Luca Viganò:
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. SEFM 2010: 191-202 - [c35]Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti:
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. SYNASC 2010: 417-424 - [c34]Alberto Calvi, Silvio Ranise, Luca Viganò:
Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. SYNASC 2010: 456-464 - [i7]Alberto Calvi, Silvio Ranise, Luca Viganò:
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version). CoRR abs/1009.4625 (2010)