VIGANO', Luca
VIGANO', Luca
DIPARTIMENTO DI SCIENZE GIURIDICHE
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations
2017-01-01 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures
2011-01-01 Barletta, Michele; Ranise, Silvio; Vigano', Luca
A History of Until
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
An O(n log n)-Space Decision Procedure for the Relevance Logic B+
2000-01-01 Vigano', Luca
Assessment of nodal staging and risk factors for nodal involvement in gallbladder cancer
2025-01-01 Balakrishnan, Anita; Barmpounakis, Petros; Demiris, Nikolaos; Andersson, Bodil; Brañes, Alejandro; De Aretxabala, Xavier; Eilard, Malin Sternby; Gibbs, Paul; Harper, Simon J F; Huguet, Emmanuel L; Jah, Asif; Kosmoliaptsis, Vasilis; Lendoire, Javier; Liau, Siong S; Maithel, Shishir; Martin, Jack L; Noel, Colin; Praseedom, Raaj K; Serrablo, Alejandro; Adsay, Volkan; Null, Null; Abe, Tomoyuki; Abu Hilal, Moh'D; Del Mar Achalandabaso Boira, Maria; Adham, Mustapha; Adam, Mohamed; Ahmad, Maryam; Al-Sarireh, Bilal; Albiol, Maite; Alhaboob, Nassir; Alseidi, Adnan; Ammar, Houssem; Anand, Akshay; Andersson, Bodil; Antonakis, Pantelis; Araya, Veronica; Ashley, Stanley W; Atanasov, Georgi; Ausania, Fabio; Balestri, Ricardo; Banerjee, Abhirup; Banerjee, Sudeep; Banting, Simon; Barauskas, Giedrius; Bartsch, Fabian; Belli, Andrea; Beretta, Simona; Berrevoet, Frederik; Bhandari, Ramesh Singh; Fernandez, Gerardo Blanco; Bolm, Louisa; Bonal, Mathieu; Bozkurt, Emre; Braat, Andries E; Bradshaw, Luke; Bramis, Konstantinos; Branes, Alejandro; Burdine, Lyle; Byrne, Matthew; Caceres, Maria; Santiago, Maria Jesus Castro; Chan, Benjamin; Chong, Lynn; Çoker, Ahmet; Rodriguez, Maria Conde; Croagh, Daniel; Crutchley, Alyn; Cutolo, Carmen; D'Hondt, Mathieu; D'Souza, Daniel; Daams, Freek; Valle, Raffaele Dalla; Davide, José; De Bellis, Mario; De Boer, Marieke; De Meyere, Celine; De Reuver, Philip; Dixon, Matthew; Dorovinis, Panagiotis; Bauer, Gabriela Echeverría; Eduarda, Maria; Eker, Hasan; Erdmann, Joris; Erkan, Mert; Felekouras, Evangelos; Felli, Emanuele; Fernandes, Eduardo; Rivera, Eduardo Figueroa; Fulop, Andras; Galun, Daniel; Gerhards, Michael; Ghorbani, Poya; Giannone, Fabio; Gil, Luis; Giorgakis, Emmanouil; Giuffrida, Mario; Giuliante, Felice; Gkekas, Ioannis; Bravo, Miguel Gomez; Koerkamp, Bas Groot; Guevara, Oscar; Guglielmi, Alfredo; Gulla, Aiste; Gupta, Rahul; Gupta, Amit; Gutiérrez, Marta; Bhatti, Abu Bakar Hafeez; Hagendoorn, Jeroen; Hajee, Zain; Hakeem, Abdul Rahman; Hamid, Hytham; Hassen, Sayed; Heinrich, Stefan; Hernandez-Alejandro, Roberto; Higuchi, Ryota; Hoffman, Daniel; Holroyd, David; Hughes, Daniel; Ivanecz, Arpad; Iype, Satheesh; Torrejimeno, Isabel Jaen; Joglekar, Shantanu; Jones, Robert; Kaczirek, Klaus; Kanhere, Harsh; Kausar, Ambareen; Kee, Zhanyi; Keilson, Jessica; Kleef, Jorg; Klose, Johannes; Knowles, Brett; Koong, Jun Kit; Kumar, Nagappan; Kunnuru, Supreeth; Lakhey, Paleswan Joshi; Laurenzi, Andrea; Lee, Yeong Sing; Leon, Felipe; Leow, Voon Meng; Lequeu, Jean-Baptiste; Lesurtel, Mickael; Lo, Elisabeth; Löb, Stefan; Lockie, Elizabeth; Lodge, Peter; Garnica, Dolores López; Lopez, Victor Lopez; Lundgren, Linda; Machairas, Nikolaos; Maharjan, Dhiresh; Malde, Deep; Mankarious, Marc; Martel, Guillaume; Martin, Julie; Mazzola, Michele; Mehrabi, Arianeb; Memeo, Ricardo; Milana, Flavio; Molina, George; Monette, Leah; Morgul, Haluk; Moris, Dimitrios; Morsi-Yeroyannis, Antonios; Mowbray, Nicholas; Mulita, Francesk; Muttillo, Edoardo Maria; Nandasena, Malith; Nashidengo, Pueya Rashid; Nickkholgh, Arash; Noel, Colin Byron; Ohtsuka, Masayuki; Ozolins, Arturs; Pandanaboyana, Sanjay; Pararas, Nikolaos; Parente, Alessandro; Peng, June; Valero, Arkaitz Perfecto; Perinel, Julie; Perivoliotis, Konstatinos; Perra, Teresa; Pessaux, Patrick; Petruch, Natalie; Piccolo, Gaetano; Piros, Laszlo; Porcu, Alberto; Prabakaran, Viswakumar; Prasad, Raj; Calvo, Mikel Prieto; Primavesi, Florian; Periz, Eva Maria Pueyo; Quaglia, Alberto; Angel, Jose M Ramia; Rammohan, Ashwin; Razionale, Francesco; Campos, Ricardo Robles; Roy, Manas; Rozwadowski, Sophie; Ruffolo, Luis; Ruiz, Natalia; Ruzzenante, Andrea; Saadat, Lily; Said, Mohamed Amine; Saladino, Edoardo; Saliba, Gabriel; Sandstrom, Per; Schena, Carlo Alberto; Scholer, Anthony; Schwarz, Christoph; Serafini, Lorenzo; Serrablo, Leyre; Serrano, Pablo E; Sharma, Deepak; Sheen, Aali; Siddagangaiah, Vishwanath; Silva, Michael; Singh, Saurabh; Siriwardena, Ajith; Skalski, Michal; Smig, Mante; Soliman, Faris; Sonkar, Abhinav Arun; Silva, Donzília Sousa; Sparrelid, Ernesto; Spiers, Harry V M; Srinivasan, Parthi; Eilard, Malin Sternby; Strobel, Oliver; Stupan, Urban; Suarez-Munoz, Miguel Angel; Subramaniam, Manisekar; Sugiura, Teiichi; Sutcliffe, Robert; Swank, Hilko; Talukder, Shibojit; Taylor, Lillian; Thapa, Prabin Bikram; Teh, Catherine; Thepbunchonchai, Asara; Thieu, Caman; Tiwari, Navneet; Torzilli, Guido; Tovikkai, Chutwichai; Trotovsek, Blaz; Tsaramanidis, Savvas; Tsoulfas, Georgios; Uesaka, Katsuhiko; Umar, Garzali; Urbani, Lucio; Vailas, Michail; Van Dam, Ronald; Van De Boezem, Peter; Van Laarhoven, Stijn; Vanagas, Tomas; Van Dooren, Mike; Viennet, Manon; Vigano, Luca; Vijayashanker, Aarathi; Villodre, Celia; Wakai, Toshifumi; Workneh, Aklile; Xu, Li; Yamamoto, Masakazu; Yang, Zhiying; Young, Robert; Zivanovic, Marko
Attack Interference: A Path to Defending Security Protocols
2012-01-01 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
Automated reasoning for security protocol analysis (Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning)
2006-01-01 Armando, Alessandro; Basin, David; Cuellar, Jorge; Rusinowitch, Michael; Vigano', Luca
Automated Security Protocol Analysis With the AVISPA Tool
2006-01-01 Vigano', Luca
Back from the future
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Conditional simple temporal networks with uncertainty and decisions
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Conditional Simple Temporal Networks with Uncertainty and Resources
2019-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way
2021-01-01 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca
Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols
2010-01-01 Moedersheim, Sebastian; Vigano', Luca; Basin, David
Deconstructing Alice and Bob
2005-01-01 Caleiro, C.; Vigano', Luca; Basin, D.
Distributed Temporal Logic for the Analysis of Security Protocol Models
2011-01-01 Basin, David; Caleiro, Carlos; Ramos, Jaime; Vigano', Luca
Fibring Labelled Deduction Systems
2002-01-01 J., Rasga; A., Sernadas; C., Sernadas; Vigano', Luca
Labelled Modal Logics: Quantifiers
1998-01-01 Basin, D.; Matthews, S.; Vigano', Luca
Labelled natural deduction for a bundled branching temporal logic
2011-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Labelled Propositional Modal Logics: Theory and Practice
1997-01-01 Basin, D.; Matthews, S.; Vigano', Luca
Labelled Tableaux for Distributed Temporal Logic
2009-01-01 Basin, D.; Caleiro, C.; Ramos, J.; Vigano', Luca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations | 1-gen-2017 | Vigano', Luca; Volpe, Marco; Zorzi, Margherita | |
| A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures | 1-gen-2011 | Barletta, Michele; Ranise, Silvio; Vigano', Luca | |
| A History of Until | 1-gen-2010 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| An O(n log n)-Space Decision Procedure for the Relevance Logic B+ | 1-gen-2000 | Vigano', Luca | |
| Assessment of nodal staging and risk factors for nodal involvement in gallbladder cancer | 1-gen-2025 | Balakrishnan, Anita; Barmpounakis, Petros; Demiris, Nikolaos; Andersson, Bodil; Brañes, Alejandro; De Aretxabala, Xavier; Eilard, Malin Sternby; Gibbs, Paul; Harper, Simon J F; Huguet, Emmanuel L; Jah, Asif; Kosmoliaptsis, Vasilis; Lendoire, Javier; Liau, Siong S; Maithel, Shishir; Martin, Jack L; Noel, Colin; Praseedom, Raaj K; Serrablo, Alejandro; Adsay, Volkan; Null, Null; Abe, Tomoyuki; Abu Hilal, Moh'D; Del Mar Achalandabaso Boira, Maria; Adham, Mustapha; Adam, Mohamed; Ahmad, Maryam; Al-Sarireh, Bilal; Albiol, Maite; Alhaboob, Nassir; Alseidi, Adnan; Ammar, Houssem; Anand, Akshay; Andersson, Bodil; Antonakis, Pantelis; Araya, Veronica; Ashley, Stanley W; Atanasov, Georgi; Ausania, Fabio; Balestri, Ricardo; Banerjee, Abhirup; Banerjee, Sudeep; Banting, Simon; Barauskas, Giedrius; Bartsch, Fabian; Belli, Andrea; Beretta, Simona; Berrevoet, Frederik; Bhandari, Ramesh Singh; Fernandez, Gerardo Blanco; Bolm, Louisa; Bonal, Mathieu; Bozkurt, Emre; Braat, Andries E; Bradshaw, Luke; Bramis, Konstantinos; Branes, Alejandro; Burdine, Lyle; Byrne, Matthew; Caceres, Maria; Santiago, Maria Jesus Castro; Chan, Benjamin; Chong, Lynn; Çoker, Ahmet; Rodriguez, Maria Conde; Croagh, Daniel; Crutchley, Alyn; Cutolo, Carmen; D'Hondt, Mathieu; D'Souza, Daniel; Daams, Freek; Valle, Raffaele Dalla; Davide, José; De Bellis, Mario; De Boer, Marieke; De Meyere, Celine; De Reuver, Philip; Dixon, Matthew; Dorovinis, Panagiotis; Bauer, Gabriela Echeverría; Eduarda, Maria; Eker, Hasan; Erdmann, Joris; Erkan, Mert; Felekouras, Evangelos; Felli, Emanuele; Fernandes, Eduardo; Rivera, Eduardo Figueroa; Fulop, Andras; Galun, Daniel; Gerhards, Michael; Ghorbani, Poya; Giannone, Fabio; Gil, Luis; Giorgakis, Emmanouil; Giuffrida, Mario; Giuliante, Felice; Gkekas, Ioannis; Bravo, Miguel Gomez; Koerkamp, Bas Groot; Guevara, Oscar; Guglielmi, Alfredo; Gulla, Aiste; Gupta, Rahul; Gupta, Amit; Gutiérrez, Marta; Bhatti, Abu Bakar Hafeez; Hagendoorn, Jeroen; Hajee, Zain; Hakeem, Abdul Rahman; Hamid, Hytham; Hassen, Sayed; Heinrich, Stefan; Hernandez-Alejandro, Roberto; Higuchi, Ryota; Hoffman, Daniel; Holroyd, David; Hughes, Daniel; Ivanecz, Arpad; Iype, Satheesh; Torrejimeno, Isabel Jaen; Joglekar, Shantanu; Jones, Robert; Kaczirek, Klaus; Kanhere, Harsh; Kausar, Ambareen; Kee, Zhanyi; Keilson, Jessica; Kleef, Jorg; Klose, Johannes; Knowles, Brett; Koong, Jun Kit; Kumar, Nagappan; Kunnuru, Supreeth; Lakhey, Paleswan Joshi; Laurenzi, Andrea; Lee, Yeong Sing; Leon, Felipe; Leow, Voon Meng; Lequeu, Jean-Baptiste; Lesurtel, Mickael; Lo, Elisabeth; Löb, Stefan; Lockie, Elizabeth; Lodge, Peter; Garnica, Dolores López; Lopez, Victor Lopez; Lundgren, Linda; Machairas, Nikolaos; Maharjan, Dhiresh; Malde, Deep; Mankarious, Marc; Martel, Guillaume; Martin, Julie; Mazzola, Michele; Mehrabi, Arianeb; Memeo, Ricardo; Milana, Flavio; Molina, George; Monette, Leah; Morgul, Haluk; Moris, Dimitrios; Morsi-Yeroyannis, Antonios; Mowbray, Nicholas; Mulita, Francesk; Muttillo, Edoardo Maria; Nandasena, Malith; Nashidengo, Pueya Rashid; Nickkholgh, Arash; Noel, Colin Byron; Ohtsuka, Masayuki; Ozolins, Arturs; Pandanaboyana, Sanjay; Pararas, Nikolaos; Parente, Alessandro; Peng, June; Valero, Arkaitz Perfecto; Perinel, Julie; Perivoliotis, Konstatinos; Perra, Teresa; Pessaux, Patrick; Petruch, Natalie; Piccolo, Gaetano; Piros, Laszlo; Porcu, Alberto; Prabakaran, Viswakumar; Prasad, Raj; Calvo, Mikel Prieto; Primavesi, Florian; Periz, Eva Maria Pueyo; Quaglia, Alberto; Angel, Jose M Ramia; Rammohan, Ashwin; Razionale, Francesco; Campos, Ricardo Robles; Roy, Manas; Rozwadowski, Sophie; Ruffolo, Luis; Ruiz, Natalia; Ruzzenante, Andrea; Saadat, Lily; Said, Mohamed Amine; Saladino, Edoardo; Saliba, Gabriel; Sandstrom, Per; Schena, Carlo Alberto; Scholer, Anthony; Schwarz, Christoph; Serafini, Lorenzo; Serrablo, Leyre; Serrano, Pablo E; Sharma, Deepak; Sheen, Aali; Siddagangaiah, Vishwanath; Silva, Michael; Singh, Saurabh; Siriwardena, Ajith; Skalski, Michal; Smig, Mante; Soliman, Faris; Sonkar, Abhinav Arun; Silva, Donzília Sousa; Sparrelid, Ernesto; Spiers, Harry V M; Srinivasan, Parthi; Eilard, Malin Sternby; Strobel, Oliver; Stupan, Urban; Suarez-Munoz, Miguel Angel; Subramaniam, Manisekar; Sugiura, Teiichi; Sutcliffe, Robert; Swank, Hilko; Talukder, Shibojit; Taylor, Lillian; Thapa, Prabin Bikram; Teh, Catherine; Thepbunchonchai, Asara; Thieu, Caman; Tiwari, Navneet; Torzilli, Guido; Tovikkai, Chutwichai; Trotovsek, Blaz; Tsaramanidis, Savvas; Tsoulfas, Georgios; Uesaka, Katsuhiko; Umar, Garzali; Urbani, Lucio; Vailas, Michail; Van Dam, Ronald; Van De Boezem, Peter; Van Laarhoven, Stijn; Vanagas, Tomas; Van Dooren, Mike; Viennet, Manon; Vigano, Luca; Vijayashanker, Aarathi; Villodre, Celia; Wakai, Toshifumi; Workneh, Aklile; Xu, Li; Yamamoto, Masakazu; Yang, Zhiying; Young, Robert; Zivanovic, Marko | |
| Attack Interference: A Path to Defending Security Protocols | 1-gen-2012 | Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca | |
| Automated reasoning for security protocol analysis (Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning) | 1-gen-2006 | Armando, Alessandro; Basin, David; Cuellar, Jorge; Rusinowitch, Michael; Vigano', Luca | |
| Automated Security Protocol Analysis With the AVISPA Tool | 1-gen-2006 | Vigano', Luca | |
| Back from the future | 1-gen-2010 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| Conditional simple temporal networks with uncertainty and decisions | 1-gen-2019 | Zavatteri, Matteo; Viganò, Luca | |
| Conditional Simple Temporal Networks with Uncertainty and Resources | 1-gen-2019 | Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo | |
| Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way | 1-gen-2021 | Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca | |
| Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols | 1-gen-2010 | Moedersheim, Sebastian; Vigano', Luca; Basin, David | |
| Deconstructing Alice and Bob | 1-gen-2005 | Caleiro, C.; Vigano', Luca; Basin, D. | |
| Distributed Temporal Logic for the Analysis of Security Protocol Models | 1-gen-2011 | Basin, David; Caleiro, Carlos; Ramos, Jaime; Vigano', Luca | |
| Fibring Labelled Deduction Systems | 1-gen-2002 | J., Rasga; A., Sernadas; C., Sernadas; Vigano', Luca | |
| Labelled Modal Logics: Quantifiers | 1-gen-1998 | Basin, D.; Matthews, S.; Vigano', Luca | |
| Labelled natural deduction for a bundled branching temporal logic | 1-gen-2011 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| Labelled Propositional Modal Logics: Theory and Practice | 1-gen-1997 | Basin, D.; Matthews, S.; Vigano', Luca | |
| Labelled Tableaux for Distributed Temporal Logic | 1-gen-2009 | Basin, D.; Caleiro, C.; Ramos, J.; Vigano', Luca |