Luca Viganò

Cited by

	All	Since 2018
Citations	5462	2043
h-index	28	17
i10-index	72	32

460

230

115

345

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202337 29 53 67 74 164 170 194 229 210 222 261 278 250 249 274 257 268 295 438 367 429 452 57

Public access

View all

19 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
Michael RusinowitchINRIAVerified email at loria.fr
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Marco VolpeUniversity of Osnabrück, Institute of Cognitive Science, Department of Artificial IntelligenceVerified email at uni-osnabrueck.de
Silvio RaniseFBKVerified email at fbk.eu
Matteo CristaniAssociate professor, University of VeronaVerified email at univr.it
Alberto Calvi, PhDUniversity of VeronaVerified email at univr.it
Marco RocchettoV-ResearchVerified email at v-research.it
Margherita ZorziUniversità degli Studi di VeronaVerified email at univr.it
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
Michele PeroliPh. D. Student at the University of VeronaVerified email at univr.it
Massimo MerroProfessor of Computer Science, Verona University - ItalyVerified email at univr.it
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaVerified email at tecnico.ulisboa.pt
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Marius MineaAssociate Professor, Politehnica University of TimisoaraVerified email at cs.upt.ro
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Rafael AccorsiPrincipal Director @ Accenture Applied IntelligenceVerified email at accenture.com

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 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	1442	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	640	2005
Automated security protocol analysis with the AVISPA tool L Vigano Electronic Notes in Theoretical Computer Science 155, 61-86, 2006	449	2006
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	247	2003
Labelled non-classical logics L Vigano Springer Science & Business Media, 2013	218	2013
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	131	2012
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	104	2002
Secure pseudonymous channels S Mödersheim, L Viganò Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009	96	2009
Labelled propositional modal logics: Theory and practice D Basin, S Matthews, L Vigano Journal of Logic and Computation 7 (6), 685-717, 1997	94	1997
Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario M Backes, S Mödersheim, B Pfitzmann, L Vigano Foundations of Software Science and Computation Structures: 9th …, 2006	88	2006
The open-source fixed-point model checker for symbolic analysis of security protocols S Mödersheim, L Vigano Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial …, 2009	81	2009
Natural deduction for non-classical logics D Basin, S Matthews, L Viganò Studia Logica 60, 119-160, 1998	77	1998
Explainable security L Vigano, D Magazzeni 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020	69	2020
Avispa: automated validation of internet security protocols and applications A Armando, D Basin, J Cuellar, M Rusinowitch, L Viganò ERCIM News 64 (January), 2006	61	2006
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	59	2003
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	58	2017
Conditional simple temporal networks with uncertainty and decisions M Zavatteri, L Viganò Theoretical Computer Science 797, 77-101, 2019	53	2019
On the semantics of Alice&Bob specifications of security protocols C Caleiro, L Vigano, D Basin Theoretical Computer Science 367 (1-2), 88-122, 2006	48	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	45	2010
Algebraic intruder deductions D Basin, S Mödersheim, L Vigano Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005	45	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