Luca Viganò

Cituota

	Visi	Nuo 2018
Šaltiniai	5750	2325
h-rodyklė	29	18
i10-rodyklė	73	35

480

240

120

360

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202342 27 57 68 71 164 169 205 224 212 213 269 278 241 241 278 255 273 293 461 375 423 441 328

Viešas pasiekiamumas

Peržiūrėti viską

20 straipsnių

7 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

David BasinProfessor of Computer Science, ETH ZurichPatvirtintas el. paštas inf.ethz.ch
Sebastian Alexander MödersheimAssociate Professor of Computer Science, Denmark's Technical UniversityPatvirtintas el. paštas imm.dtu.dk
Alessandro ArmandoUniversity of GenovaPatvirtintas el. paštas unige.it
Jorge CuellarUni Passau, Univ de los Andes (Bogota)Patvirtintas el. paštas gw.uni-passau.de
Michael RusinowitchINRIAPatvirtintas el. paštas loria.fr
Matteo ZavatteriUniversity of PadovaPatvirtintas el. paštas unipd.it
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaPatvirtintas el. paštas math.ist.utl.pt
Luca CompagnaSAP Security ResearchPatvirtintas el. paštas sap.com
Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3Patvirtintas el. paštas irit.fr
Marco VolpeUniversity of LeicesterPatvirtintas el. paštas leicester.ac.uk
Carlo CombiProfessor of Computer Science, University of VeronaPatvirtintas el. paštas univr.it
Silvio RaniseFBKPatvirtintas el. paštas fbk.eu
Diego SempreboniKing's College LondonPatvirtintas el. paštas kcl.ac.uk
Matteo CristaniAssociate professor, University of VeronaPatvirtintas el. paštas univr.it
Alberto Calvi, PhDUniversity of VeronaPatvirtintas el. paštas univr.it
Margherita ZorziUniversità degli Studi di VeronaPatvirtintas el. paštas univr.it
Marco RocchettoV-ResearchPatvirtintas el. paštas v-research.it
Andrea MasiniDept. Computer Science, University of VeronaPatvirtintas el. paštas univr.it
Michele PeroliPh. D. Student at the University of VeronaPatvirtintas el. paštas univr.it
Roberto CarboneSecurity and Trust - Fondazione Bruno Kessler, Trento, ItalyPatvirtintas el. paštas fbk.eu

Stebėti

Luca Viganò

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

Patvirtintas el. paštas kcl.ac.uk - Pagrindinis puslapis

Cybersecurity Privacy Logic Formal Methods


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	1522	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	656	2005
Automated security protocol analysis with the AVISPA tool L Vigano Electronic Notes in Theoretical Computer Science 155, 61-86, 2006	483	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	255	2003
Labelled non-classical logics L Vigano Springer Science & Business Media, 2013	233	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	139	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	105	2002
Secure pseudonymous channels S Mödersheim, L Viganò Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009	94	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 International Conference on Foundations of Software Science and Computation …, 2006	89	2006
Explainable security L Vigano, D Magazzeni 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020	85	2020
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	83	2007
Natural deduction for non-classical logics D Basin, S Matthews, L Viganò Studia Logica 60, 119-160, 1998	78	1998
Avispa: automated validation of internet security protocols and applications A Armando, D Basin, J Cuellar, M Rusinowitch, L Viganò ERCIM News 64 (January), 2006	70	2006
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	62	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	58	2003
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
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	46	2020
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	45	2005

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai