Giampaolo Bella

Citata da

	Tutte	Dal 2019
Citazioni	2460	678
Indice H	25	13
i10-index	60	24

220

110

165

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 26 28 51 62 90 93 91 96 123 119 87 101 92 142 124 85 94 80 78 64 47 72 59 149 207 142

Accesso pubblico

Visualizza tutto

14 articoli

4 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Lawrence PaulsonUniversity of CambridgeEmail verificata su cam.ac.uk
Pietro BiondiPh.D, University of CataniaEmail verificata su phd.unict.it
Gianpiero CostantinoIIT-CNREmail verificata su iit.cnr.it
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyEmail verificata su ieee.org
Stefano BistarelliFull professor of Computer Science at University of PerugiaEmail verificata su unipg.it
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgEmail verificata su uni.lu
Rosario GiustolisiIT University of CopenhagenEmail verificata su itu.dk
Ilaria MatteucciIIT-CNREmail verificata su iit.cnr.it
Domenico CantoneProfessor of Computer Science, University of CataniaEmail verificata su dmi.unict.it
Marianna Nicolosi AsmundoAssistant Professor of Computer Science, Catania UniversityEmail verificata su aixia.it
Elvinia RiccobeneProfessore, Università di Milano, ItalyEmail verificata su unimi.it
Peter RyanProfessor of applied security, university of luxembourgEmail verificata su uni.lu
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeEmail verificata su kcl.ac.uk
Luca CompagnaSAP Security ResearchEmail verificata su sap.com
Diego SempreboniKing's College LondonEmail verificata su kcl.ac.uk
Daniele SgandurraEmail verificata su danielesgandurra.com
Paul CurzonProfessor in Computer Science, Queen Mary University of LondonEmail verificata su eecs.qmul.ac.uk
Fabio MartinelliConsiglio Nazionale delle RicercheEmail verificata su iit.cnr.it
Denis ButinTU Darmstadt, Inria, Dublin City UniversityEmail verificata su cdc.informatik.tu-darmstadt.de
Karen RenaudDepartment of Computer and Information Sciences, University of StrathclydeEmail verificata su strath.ac.uk

Segui

Giampaolo Bella

University of Catania

Email verificata su dmi.unict.it - Home page

Cybersecurity Data Protection Formal Methods IoT Cyber-Physical Systems


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Kerberos version IV: Inductive analysis of the secrecy goals G Bella, LC Paulson Computer Security—ESORICS 98: 5th European Symposium on Research in …, 1998	194	1998
Verifying the SET registration protocols G Bella, F Massacci, LC Paulson IEEE Journal on Selected Areas in Communications 21 (1), 77-87, 2003	112	2003
Formal Analysis of the Kerberos Authentication System. G Bella, E Riccobene J. Univers. Comput. Sci. 3 (12), 1337-1381, 1997	99	1997
The verification of an industrial payment protocol: The SET purchase phase G Bella, LC Paulson, F Massacci Proceedings of the 9th ACM Conference on Computer and Communications …, 2002	94	2002
Formal Correctness of Security Protocols G Bella	89	2007
Mechanical proofs about a non-repudiation protocol G Bella, LC Paulson Theorem Proving in Higher Order Logics: 14th International Conference …, 2001	84	2001
Formal verification of cardholder registration in SET G Bella, F Massacci, LC Paulson, P Tramontano Computer Security-ESORICS 2000: 6th European Symposium on Research in …, 2000	84	2000
Verifying the SET purchase protocols G Bella, F Massacci, LC Paulson Journal of Automated Reasoning 36, 5-37, 2006	83	2006
Inductive verification of cryptographic protocols G Bella University of Cambridge, Computer Laboratory, 2000	79	2000
Using Isabelle to prove properties of the Kerberos authentication system G Bella, LC Paulson DIMACS Workshop on Design and Formal Verification of Security Protocols 504, 1997	75	1997
Layered analysis of security ceremonies G Bella, L Coles-Kemp Information Security and Privacy Research: 27th IFIP TC 11 Information …, 2012	70	2012
Accountability protocols: Formalized and verified G Bella, LC Paulson ACM Transactions on Information and System Security (TISSEC) 9 (2), 138-161, 2006	62	2006
An overview of the verification of SET G Bella, F Massacci, LC Paulson International Journal of Information Security 4, 17-28, 2005	58	2005
Toucan: A protocol to secure controller area network G Bella, P Biondi, G Costantino, I Matteucci Proceedings of the ACM Workshop on Automotive Cybersecurity, 3-8, 2019	55	2019
Mechanising BAN Kerberos by the inductive method G Bella, LC Paulson Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	53	1998
Inductive verification of smart card protocols G Bella Journal of Computer Security 11 (1), 87-132, 2003	44	2003
Enforcing privacy in e-commerce by balancing anonymity and trust G Bella, R Giustolisi, S Riccobene Computers & Security 30 (8), 705-718, 2011	40	2011
Verifying second-level security protocols G Bella, C Longo, LC Paulson International Conference on Theorem Proving in Higher Order Logics, 352-366, 2003	36	2003
Soft constraints for security protocol analysis: Confidentiality G Bella, S Bistarelli International Symposium on Practical Aspects of Declarative Languages, 108-122, 2001	36	2001
Multi-attacker protocol validation W Arsac, G Bella, X Chantry, L Compagna Journal of Automated Reasoning 46 (3), 353-388, 2011	31	2011

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori