Luca Viganò

Cited by

	All	Since 2020
Citations	6268	2050
h-index	30	18
i10-index	82	27

460

230

115

345

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202547 26 54 65 75 162 169 199 226 217 223 269 277 234 255 286 257 290 310 448 381 436 433 355 374 69

Public access

View all

24 articles

5 articles

available

not available

Based on funding mandates

Co-authors

David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Sebastian Alexander MödersheimAssociate Professor of Computer Science, Denmark's Technical UniversityVerified email at imm.dtu.dk
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Jorge CuellarUni Passau, Univ de los Andes (Bogota)Verified email at gw.uni-passau.de
Michael RusinowitchINRIAVerified email at loria.fr
Matteo ZavatteriUniversity of PadovaVerified email at unipd.it
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Luca CompagnaSAP Security ResearchVerified email at sap.com
Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3Verified email at irit.fr
Marco VolpeUniversity of LeicesterVerified email at leicester.ac.uk
Silvio RaniseFBKVerified email at fbk.eu
Carlo CombiProfessor of Computer Science, University of VeronaVerified email at univr.it
Marco RocchettoV-ResearchVerified email at v-research.it
Diego SempreboniKing's College LondonVerified email at kcl.ac.uk
Matteo CristaniAssociate professor, University of VeronaVerified email at univr.it
Alberto Calvi, PhDUniversity of VeronaVerified email at univr.it
Margherita ZorziUniversità degli Studi di VeronaVerified email at univr.it
Andrea MasiniDept. Computer Science, University of VeronaVerified email at univr.it
Roberto CarboneSecurity and Trust - Fondazione Bruno Kessler, Trento, ItalyVerified email at fbk.eu
Massimo MerroProfessor of Computer Science, Verona University - ItalyVerified email at univr.it

Luca Viganò

Professor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College

Verified email at kcl.ac.uk - Homepage

Cybersecurity Privacy Explainable Security Logic Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The AVISPA tool for the automated validation of internet security protocols and applications A Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ... Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	1667	2005
OFMC: A symbolic model checker for security protocols D Basin, S Mödersheim, L Vigano International Journal of Information Security 4, 181-208, 2005	682	2005
Automated security protocol analysis with the AVISPA tool L Vigano Electronic Notes in Theoretical Computer Science 155, 61-86, 2006	560	2006
Labelled non-classical logics L Vigano Springer Science & Business Media, 2013	263	2013
An on-the-fly model-checker for security protocol analysis D Basin, S Mödersheim, L Vigano Computer Security–ESORICS 2003: 8th European Symposium on Research in …, 2003	257	2003
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures A Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ... Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012	150	2012
Explainable security L Vigano, D Magazzeni 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020	116	2020
The AVISS security protocol analysis tool A Armando, D Basin, M Bouallagui, Y Chevalier, L Compagna, ... Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	108	2002
Labelled propositional modal logics: Theory and practice D Basin, S Matthews, L Vigano Journal of Logic and Computation 7 (6), 685-717, 1997	97	1997
Secure pseudonymous channels S Mödersheim, L Viganò Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009	93	2009
Avispa: automated validation of internet security protocols and applications A Armando, D Basin, J Cuellar, M Rusinowitch, L Viganò ERCIM News 64 (January), 66-69, 2006	86	2006
The open-source fixed-point model checker for symbolic analysis of security protocols S Mödersheim, L Vigano International School on Foundations of Security Analysis and Design, 166-194, 2007	85	2007
Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario M Backes, S Mödersheim, B Pfitzmann, L Vigano International Conference on Foundations of Software Science and Computation …, 2006	85	2006
Natural deduction for non-classical logics D Basin, S Matthews, L Viganò Studia Logica 60, 119-160, 1998	83	1998
A formal approach to physics-based attacks in cyber-physical systems R Lanotte, M Merro, A Munteanu, L Viganò ACM Transactions on Privacy and Security (TOPS) 23 (1), 1-41, 2020	64	2020
A formal approach to cyber-physical attacks R Lanotte, M Merro, R Muradore, L Viganò 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 436-450, 2017	64	2017
CDiff: a new reduction technique for constraint-based analysis of security protocols D Basin, S Mödersheim, L Vigano Proceedings of the 10th ACM conference on Computer and communications …, 2003	60	2003
On the semantics of Alice&Bob specifications of security protocols C Caleiro, L Viganò, D Basin Theoretical Computer Science 367 (1-2), 88-122, 2006	50	2006
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols S Mödersheim, L Vigano, D Basin Journal of Computer Security 18 (4), 575-618, 2010	46	2010
Algebraic intruder deductions D Basin, S Mödersheim, L Vigano International Conference on Logic for Programming Artificial Intelligence …, 2005	46	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors