Edit Profile (opens in new tab) Viganò, Luca Co-Author Distance Author ID: vigano.luca Published as: Viganò, Luca; Viganò, L.; Viganó, Luca more...less External Links: MGP · ORCID · dblp Documents Indexed: 52 Publications since 1996, including 1 Book 8 Contributions as Editor Co-Authors: 54 Co-Authors with 57 Joint Publications 1,009 Co-Co-Authors all top 5 Co-Authors 3 single-authored 18 Basin, David A. 10 Mödersheim, Sebastian Alexander 8 Caleiro, Carlos 7 Matthews, Seán 7 Volpe, Marco 6 Sernadas, Cristina S. 5 Masini, Andrea 5 Rasga, João 4 Degano, Pierpaolo 4 Sernadas, Amilcar C. 4 Zavatteri, Matteo 3 Armando, Alessandro 3 Combi, Carlo 3 Ramos, Jaime 3 Zorzi, Margherita 2 Almousa, Omar 2 Chevalier, Yannick 2 Compagna, Luca 2 Gabbay, Dov M. 2 Hankes Drielsma, Paul 2 Mateus, Paulo C. 2 Rizzi, Romeo 2 Rusinowitch, Michaël 2 Turuani, Mathieu 2 Vigneron, Laurent 1 Accorsi, Rafael 1 Adão, Pedro 1 Backes, Michael 1 Basin, D. 1 Bergamasco, Marco 1 Boichut, Yohan 1 Bouallagui, Mehdi 1 Burato, Elisa 1 Cristani, Matteo 1 Cuellar, Jorge 1 D’Agostino, Marcello 1 Ferretti, Gianni 1 Gross, Thomas R. 1 Héam, Pierre-Cyrille 1 Karafili, Erisa 1 Kouchnarenko, Olga 1 Küsers, Ralf 1 Lovera, Marco 1 Mantovani, Jacopo 1 Modesti, Paolo 1 Pfitzmann, Birgit 1 Piessens, Frank 1 Posenato, Roberto 1 Rittinger, Frank 1 Schiavo, Francesco 1 Varga, Andras 1 Veanes, Margus 1 von Oheimb, David 1 Zdancewic, Steve all top 5 Serials 5 Theoretical Computer Science 4 Journal of Logic and Computation 3 Information and Computation 3 Logic Journal of the IGPL 3 Lecture Notes in Computer Science 2 Studia Logica 2 Journal of Applied Non-Classical Logics 2 Electronic Notes in Theoretical Computer Science 2 Logica Universalis 1 International Journal of Control 1 Journal of Logic, Language and Information 1 The Journal of Artificial Intelligence Research (JAIR) 1 Multibody System Dynamics 1 Journal of Multiple-Valued Logic and Soft Computing 1 Applied Logic Series 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 38 Computer science (68-XX) 31 Mathematical logic and foundations (03-XX) 16 Information and communication theory, circuits (94-XX) 11 General and overarching topics; collections (00-XX) 3 Quantum theory (81-XX) 2 Mechanics of particles and systems (70-XX) 2 Systems theory; control (93-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of deformable solids (74-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 39 Publications have been cited 237 times in 172 Documents Cited by ▼ Year ▼ The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523 Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L. 55 2005 Labelled non-classical logics. With a foreword by Dov M. Gabbay. Zbl 1003.03001 Viganò, Luca 35 2000 Labelled propositional modal logics: Theory and practice. Zbl 0902.03007 Basin, David; Matthews, Seán; Viganò, Luca 12 1997 Conditional simple temporal networks with uncertainty and decisions. Zbl 1434.68552 Zavatteri, Matteo; Viganò, Luca 9 2019 Quantum state transformations and branching distributed temporal logic. Invited paper. Zbl 1372.68190 Viganò, Luca; Volpe, Marco; Zorzi, Margherita 8 2014 On the semantics of Alice & Bob specifications of security protocols. Zbl 1153.94450 Caleiro, Carlos; Viganò, Luca; Basin, David 8 2006 Natural deduction for non-classical logics. Zbl 0954.03010 Basin, David; Matthews, Seán; Viganò, Luca 7 1998 Conditional simple temporal networks with uncertainty and resources. Zbl 1489.68250 Combi, Carlo; Posenato, Roberto; Viganò, Luca; Zavatteri, Matteo 6 2019 Modal deduction systems for quantum state transformations. Zbl 1236.68073 Masini, Andrea; Viganò, Luca; Zorzi, Margherita 6 2011 Algebraic intruder deductions. Zbl 1143.94339 Basin, David; Mödersheim, Sebastian; Viganò, Luca 6 2005 A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Zbl 1372.68191 Viganò, Luca; Volpe, Marco; Zorzi, Margherita 5 2017 Labelled natural deduction for a bundled branching temporal logic. Zbl 1252.03038 Masini, Andrea; Viganò, Luca; Volpe, Marco 5 2011 Relating strand spaces and distributed temporal logic for security protocol analysis. Zbl 1098.03039 Caleiro, Carlos; Viganò, Luca; Basin, David 5 2005 Object-oriented modelling of flexible beams. Zbl 1099.74065 Schiavo, Francesco; Viganò, Luca; Ferretti, Gianni 5 2006 Labelled tableaux for distributed temporal logic. Zbl 1196.03044 Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca 5 2009 Fibring labelled deduction systems. Zbl 1011.03002 Rasga, João; Sernadas, Amílcar; Sernadas, Cristina; Viganò, Luca 4 2002 A formalization of off-line guessing for security protocol analysis. Zbl 1108.68455 Drielsma, Paul Hankes; Mödersheim, Sebastian; Viganò, Luca 4 2005 A new method for bounding the complexity of modal logics. Zbl 0886.03039 Basin, David; Matthews, Seán; Viganò, Luca 4 1997 The open-source fixed-point model checker for symbolic analysis of security protocols. Zbl 1252.68193 Mödersheim, Sebastian; Viganò, Luca 4 2009 Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way. Zbl 1518.68353 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca 4 2021 Metareasoning about security protocols using distributed temporal logic. Zbl 1272.68051 Caleiro, Carlos; Viganò, Luca; Basin, David 4 2005 Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions. Zbl 1515.68295 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca 4 2019 Labelled modal logics: Quantifiers. Zbl 0933.03016 Basin, David; Matthews, Seán; Viganò, Luca 3 1998 The AVISS security protocol analysis tool. Zbl 1010.68795 Armando, Alessandro; Basin, David; Bouallagui, Mehdi; Chevalier, Yannick; Compagna, Luca; Mödersheim, Sebastian; Rusinowitch, Michael; Turuani, Mathieu; Viganò, Luca; Vigneron, Laurent 3 2002 Optimal periodic output feedback control: a continuous-time approach and a case study. Zbl 1197.49040 Viganò, Luca; Bergamasco, Marco; Lovera, Marco; Varga, Andras 3 2010 Secure pseudonymous channels. Zbl 1481.94077 Mödersheim, Sebastian; Viganò, Luca 3 2009 Towards an awareness-based semantics for security protocol analysis. Zbl 1268.94022 Accorsi, Rafael; Basin, David; Viganò, Luca 3 2003 Deconstructing Alice and Bob. Zbl 1272.68052 Caleiro, Carlos; Viganò, Luca; Basin, David 3 2005 Alice and Bob: reconciling formal models and implementation. Zbl 1434.68294 Almousa, Omar; Mödersheim, Sebastian; Viganò, Luca 2 2015 A modular presentation of modal logics in a logical framework. Zbl 0956.03008 Basin, David; Matthews, Seán; Viganò, Luca 2 1998 Distributed temporal logic for the analysis of security protocol models. Zbl 1253.68053 Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca 2 2011 Explaining cybersecurity with films and the arts. Zbl 1454.00034 Viganò, Luca 1 2020 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. Zbl 1333.68016 1 2016 Back from the future. Zbl 1242.03046 Masini, Andrea; Viganò, Luca; Volpe, Marco 1 2010 On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators. Zbl 1283.03039 Caleiro, Carlos; Viganò, Luca; Volpe, Marco 1 2013 Event-based time-stamped claim logic. Zbl 1535.03100 Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca 1 2021 Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario. Zbl 1180.68037 Backes, Michael; Mödersheim, Sebastian; Pfitzmann, Birgit; Viganò, Luca 1 2006 A labeled natural deduction system for a fragment of CTL\( ^{*}\). Zbl 1211.03032 Masini, Andrea; Viganò, Luca; Volpe, Marco 1 2009 Typing and compositionality for security protocols: a generalization to the geometric fragment. Zbl 1499.68043 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Viganò, Luca 1 2015 Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way. Zbl 1518.68353 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca 4 2021 Event-based time-stamped claim logic. Zbl 1535.03100 Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca 1 2021 Explaining cybersecurity with films and the arts. Zbl 1454.00034 Viganò, Luca 1 2020 Conditional simple temporal networks with uncertainty and decisions. Zbl 1434.68552 Zavatteri, Matteo; Viganò, Luca 9 2019 Conditional simple temporal networks with uncertainty and resources. Zbl 1489.68250 Combi, Carlo; Posenato, Roberto; Viganò, Luca; Zavatteri, Matteo 6 2019 Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions. Zbl 1515.68295 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca 4 2019 A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Zbl 1372.68191 Viganò, Luca; Volpe, Marco; Zorzi, Margherita 5 2017 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. Zbl 1333.68016 1 2016 Alice and Bob: reconciling formal models and implementation. Zbl 1434.68294 Almousa, Omar; Mödersheim, Sebastian; Viganò, Luca 2 2015 Typing and compositionality for security protocols: a generalization to the geometric fragment. Zbl 1499.68043 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Viganò, Luca 1 2015 Quantum state transformations and branching distributed temporal logic. Invited paper. Zbl 1372.68190 Viganò, Luca; Volpe, Marco; Zorzi, Margherita 8 2014 On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators. Zbl 1283.03039 Caleiro, Carlos; Viganò, Luca; Volpe, Marco 1 2013 Modal deduction systems for quantum state transformations. Zbl 1236.68073 Masini, Andrea; Viganò, Luca; Zorzi, Margherita 6 2011 Labelled natural deduction for a bundled branching temporal logic. Zbl 1252.03038 Masini, Andrea; Viganò, Luca; Volpe, Marco 5 2011 Distributed temporal logic for the analysis of security protocol models. Zbl 1253.68053 Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca 2 2011 Optimal periodic output feedback control: a continuous-time approach and a case study. Zbl 1197.49040 Viganò, Luca; Bergamasco, Marco; Lovera, Marco; Varga, Andras 3 2010 Back from the future. Zbl 1242.03046 Masini, Andrea; Viganò, Luca; Volpe, Marco 1 2010 Labelled tableaux for distributed temporal logic. Zbl 1196.03044 Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca 5 2009 The open-source fixed-point model checker for symbolic analysis of security protocols. Zbl 1252.68193 Mödersheim, Sebastian; Viganò, Luca 4 2009 Secure pseudonymous channels. Zbl 1481.94077 Mödersheim, Sebastian; Viganò, Luca 3 2009 A labeled natural deduction system for a fragment of CTL\( ^{*}\). Zbl 1211.03032 Masini, Andrea; Viganò, Luca; Volpe, Marco 1 2009 On the semantics of Alice & Bob specifications of security protocols. Zbl 1153.94450 Caleiro, Carlos; Viganò, Luca; Basin, David 8 2006 Object-oriented modelling of flexible beams. Zbl 1099.74065 Schiavo, Francesco; Viganò, Luca; Ferretti, Gianni 5 2006 Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario. Zbl 1180.68037 Backes, Michael; Mödersheim, Sebastian; Pfitzmann, Birgit; Viganò, Luca 1 2006 The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523 Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L. 55 2005 Algebraic intruder deductions. Zbl 1143.94339 Basin, David; Mödersheim, Sebastian; Viganò, Luca 6 2005 Relating strand spaces and distributed temporal logic for security protocol analysis. Zbl 1098.03039 Caleiro, Carlos; Viganò, Luca; Basin, David 5 2005 A formalization of off-line guessing for security protocol analysis. Zbl 1108.68455 Drielsma, Paul Hankes; Mödersheim, Sebastian; Viganò, Luca 4 2005 Metareasoning about security protocols using distributed temporal logic. Zbl 1272.68051 Caleiro, Carlos; Viganò, Luca; Basin, David 4 2005 Deconstructing Alice and Bob. Zbl 1272.68052 Caleiro, Carlos; Viganò, Luca; Basin, David 3 2005 Towards an awareness-based semantics for security protocol analysis. Zbl 1268.94022 Accorsi, Rafael; Basin, David; Viganò, Luca 3 2003 Fibring labelled deduction systems. Zbl 1011.03002 Rasga, João; Sernadas, Amílcar; Sernadas, Cristina; Viganò, Luca 4 2002 The AVISS security protocol analysis tool. Zbl 1010.68795 Armando, Alessandro; Basin, David; Bouallagui, Mehdi; Chevalier, Yannick; Compagna, Luca; Mödersheim, Sebastian; Rusinowitch, Michael; Turuani, Mathieu; Viganò, Luca; Vigneron, Laurent 3 2002 Labelled non-classical logics. With a foreword by Dov M. Gabbay. Zbl 1003.03001 Viganò, Luca 35 2000 Natural deduction for non-classical logics. Zbl 0954.03010 Basin, David; Matthews, Seán; Viganò, Luca 7 1998 Labelled modal logics: Quantifiers. Zbl 0933.03016 Basin, David; Matthews, Seán; Viganò, Luca 3 1998 A modular presentation of modal logics in a logical framework. Zbl 0956.03008 Basin, David; Matthews, Seán; Viganò, Luca 2 1998 Labelled propositional modal logics: Theory and practice. Zbl 0902.03007 Basin, David; Matthews, Seán; Viganò, Luca 12 1997 A new method for bounding the complexity of modal logics. Zbl 0886.03039 Basin, David; Matthews, Seán; Viganò, Luca 4 1997 all cited Publications top 5 cited Publications all top 5 Cited by 271 Authors 14 Viganò, Luca 11 Delaune, Stéphanie 11 Masini, Andrea 10 Zorzi, Margherita 8 Cortier, Véronique 7 Kremer, Steve 5 Basin, David A. 5 Caleiro, Carlos 5 Mödersheim, Sebastian Alexander 5 Volpe, Marco 5 Zavatteri, Matteo 4 Baratella, Stefano 4 Cheval, Vincent 4 Chevalier, Yannick 4 Cremers, Cas J. F. 4 Dixon, Clare 4 Hustadt, Ullrich 4 Nalon, Cláudia 4 Negri, Sara 4 Pimentel, Elaine 4 Rusinowitch, Michaël 3 Braüner, Torben 3 del Carmen González Huesca, Lourdes 3 Lafourcade, Pascal 3 Linares Arévalo, Pilar Selene 3 Meadows, Catherine A. 3 Miranda Perea, Favio Ezequiel 3 Paolini, Luca 3 Papacchini, Fabio 3 Rizzi, Romeo 3 Villa, Tiziano 2 Arnaud, Mathilde 2 Ayala-Rincón, Mauricio 2 Blanchet, Bruno 2 Brucker, Achim D. 2 Carbone, Marco 2 Cervesato, Iliano 2 Ciobâcă, Ştefan 2 Combi, Carlo 2 Comon-Lundh, Hubert 2 de Paiva, Valeria 2 Dechesne, Francien 2 Ferretti, Gianni 2 Focardi, Riccardo 2 Gao, Han 2 Genet, Thomas 2 Jaggard, Aaron D. 2 Kuznets, Roman 2 Leva, Alberto 2 Luccio, Flaminia L. 2 Lugiez, Denis 2 Marcelino, Sérgio 2 Martini, Simone 2 Mauw, Sjouke 2 Montesi, Fabrizio 2 Olarte, Carlos 2 Orlandelli, Eugenio 2 Pattinson, Dirk 2 Radomirović, Saša 2 Ramanayake, Revantha 2 Ramos, Jaime 2 Rasga, João 2 Read, Stephen 2 Reed, Jason 2 Sasse, Ralf 2 Scaglioni, Bruno 2 Ščedrov, Andrej 2 Schröder, Lutz 2 Sciavicco, Guido 2 Sernadas, Cristina S. 2 Steel, Graham 2 Tesi, Matteo 2 Tsay, Joe-Kai 2 Warinschi, Bogdan 2 Xavier, Bruno 1 Abadi, Martín 1 Abrahams, Jordan 1 Adão, Pedro 1 Agrawal, Jagriti 1 Ahmed, Arif 1 Almousa, Omar 1 Andova, Suzana 1 Arapinis, Myrto 1 Arsac, Wihem 1 Avanesov, Tigran 1 Ayatollahi, Mehrasa 1 Babel, Kushal 1 Backes, Michael 1 Baelde, David 1 Balbiani, Philippe 1 Baltazar, Pedro 1 Barbosa, Luís Soares 1 Bascetta, Luca 1 Baur, Marco 1 Belardinelli, Francesco 1 Bella, Giampaolo 1 Ben Rajeb, Narjes 1 Berrima, Mouhebeddine 1 Bhargavan, Karthikeyan 1 Bichhawat, Abhishek ...and 171 more Authors all top 5 Cited in 50 Serials 13 Information and Computation 12 Theoretical Computer Science 7 Journal of Automated Reasoning 6 Journal of Applied Non-Classical Logics 4 Annals of Pure and Applied Logic 4 Mathematical Structures in Computer Science 4 Journal of Logical and Algebraic Methods in Programming 3 Synthese 3 Formal Methods in System Design 3 Mathematical and Computer Modelling of Dynamical Systems 3 The Review of Symbolic Logic 2 Information Sciences 2 Journal of Philosophical Logic 2 Studia Logica 2 Bulletin of the Section of Logic 2 Archive for Mathematical Logic 2 The Journal of Artificial Intelligence Research (JAIR) 2 Annals of Mathematics and Artificial Intelligence 2 The Journal of Logic and Algebraic Programming 2 Journal of Applied Logic 2 Logica Universalis 1 Acta Informatica 1 Artificial Intelligence 1 International Journal of Control 1 Information Processing Letters 1 Automatica 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Applied Mathematical Modelling 1 Tatra Mountains Mathematical Publications 1 Journal of Logic, Language and Information 1 Mathematical Logic Quarterly (MLQ) 1 Constraints 1 Mathematical Problems in Engineering 1 Multibody System Dynamics 1 International Journal of Applied Mathematics and Computer Science 1 Logic and Logical Philosophy 1 Sādhanā 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 Journal of Formalized Reasoning 1 RAIRO. Theoretical Informatics and Applications 1 Symmetry 1 Axioms 1 Journal of Applied Mathematics and Computational Mechanics 1 Matematicheskie Voprosy Kriptografii 1 TheoretiCS all top 5 Cited in 9 Fields 105 Computer science (68-XX) 73 Mathematical logic and foundations (03-XX) 52 Information and communication theory, circuits (94-XX) 8 Quantum theory (81-XX) 8 Systems theory; control (93-XX) 4 Mechanics of particles and systems (70-XX) 2 General and overarching topics; collections (00-XX) 2 Operations research, mathematical programming (90-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Citations by Year