Giampaolo Bella

Cited by

	All	Since 2018
Citations	2172	482
h-index	23	11
i10-index	46	13

160

120

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 29 29 44 54 89 98 90 96 123 110 86 101 91 137 121 86 93 77 81 65 49 67 59 149 93

Public access

View all

10 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Gianpiero CostantinoIIT-CNRVerified email at iit.cnr.it
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerified email at ieee.org
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu
Rosario GiustolisiIT University of CopenhagenVerified email at itu.dk
Pietro BiondiPh.D, University of CataniaVerified email at phd.unict.it
Stefano BistarelliFull professor of Computer Science at University of PerugiaVerified email at unipg.it
Ilaria MatteucciIIT-CNRVerified email at iit.cnr.it
Elvinia RiccobeneProfessore, Università di Milano, ItalyVerified email at unimi.it
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Domenico CantoneProfessor of Computer Science, University of CataniaVerified email at dmi.unict.it
Marianna Nicolosi AsmundoAssistant Professor of Computer Science, Catania UniversityVerified email at aixia.it
Luca CompagnaSAP Security ResearchVerified email at sap.com
Diego SempreboniKing's College LondonVerified email at kcl.ac.uk
Fabio MartinelliConsiglio Nazionale delle RicercheVerified email at iit.cnr.it
Denis ButinTU Darmstadt, Inria, Dublin City UniversityVerified email at cdc.informatik.tu-darmstadt.de
Paul CurzonProfessor in Computer Science, Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Karen RenaudDepartment of Computer and Information Sciences, University of StrathclydeVerified email at strath.ac.uk
Simon N FoleyVerified email at simonfoley.org

Giampaolo Bella

University of Catania

Verified email at dmi.unict.it - Homepage

Cybersecurity Data Protection Formal Methods IoT Cyber-Physical Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Kerberos version IV: Inductive analysis of the secrecy goals G Bella, LC Paulson Computer Security—ESORICS 98: 5th European Symposium on Research in …, 1998	193	1998
Verifying the SET registration protocols G Bella, F Massacci, LC Paulson IEEE Journal on Selected Areas in Communications 21 (1), 77-87, 2003	103	2003
Formal Analysis of the Kerberos Authentication System. G Bella, E Riccobene J. Univers. Comput. Sci. 3 (12), 1337-1381, 1997	98	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	91	2002
Formal Correctness of Security Protocols G Bella	88	2007
Mechanical proofs about a non-repudiation protocol G Bella, LC Paulson Theorem Proving in Higher Order Logics: 14th International Conference …, 2001	85	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	79	2000
Verifying the SET purchase protocols G Bella, F Massacci, LC Paulson Journal of Automated Reasoning 36, 5-37, 2006	78	2006
Inductive verification of cryptographic protocols G Bella University of Cambridge, Computer Laboratory, 2000	77	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	66	2012
Accountability protocols: Formalized and verified G Bella, LC Paulson ACM Transactions on Information and System Security (TISSEC) 9 (2), 138-161, 2006	61	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
Mechanising BAN Kerberos by the inductive method G Bella, LC Paulson Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	52	1998
Inductive verification of smart card protocols G Bella Journal of Computer Security 11 (1), 87-132, 2003	44	2003
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	43	2019
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	33	2001
Multi-attacker protocol validation W Arsac, G Bella, X Chantry, L Compagna Journal of Automated Reasoning 46 (3-4), 353-388, 2011	29	2011

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