Suivre
Luca Viganò
Luca Viganò
Professor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College
Adresse e-mail validée de kcl.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
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
16222005
OFMC: A symbolic model checker for security protocols
D Basin, S Mödersheim, L Vigano
International Journal of Information Security 4, 181-208, 2005
6752005
Automated security protocol analysis with the AVISPA tool
L Vigano
Electronic Notes in Theoretical Computer Science 155, 61-86, 2006
5412006
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
2582003
Labelled non-classical logics
L Vigano
Springer Science & Business Media, 2013
2552013
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
1442012
Explainable security
L Vigano, D Magazzeni
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020
1112020
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
1062002
Labelled propositional modal logics: Theory and practice
D Basin, S Matthews, L Vigano
Journal of Logic and Computation 7 (6), 685-717, 1997
971997
Secure pseudonymous channels
S Mödersheim, L Viganò
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
952009
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
862006
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
852007
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
852006
Natural deduction for non-classical logics
D Basin, S Matthews, L Viganò
Studia Logica 60, 119-160, 1998
841998
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
652017
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
612003
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
602020
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
482006
Algebraic intruder deductions
D Basin, S Mödersheim, L Vigano
International Conference on Logic for Programming Artificial Intelligence …, 2005
472005
Labelled modal logics: Quantifiers
D Basin, S Matthews, L Vigano
Journal of Logic, Language and Information 7, 237-263, 1998
471998
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20