Giampaolo Bella

Cited by

	All	Since 2017
Citations	1922	323
h-index	22	10
i10-index	40	10

140

105

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202218 28 34 57 51 97 104 82 92 119 107 86 102 94 127 114 87 99 74 77 59 49 64 51 23

Public access

View all

7 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerified email at ieee.org
Gianpiero CostantinoIIT-CNRVerified email at iit.cnr.it
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu
Stefano BistarelliFull professor of Computer Science at University of PerugiaVerified email at unipg.it
Rosario GiustolisiIT University of CopenhagenVerified email at itu.dk
Pietro BiondiPh.D Student, University of CataniaVerified email at phd.unict.it
Elvinia RiccobeneProfessore, Università di Milano, ItalyVerified email at unimi.it
Ilaria MatteucciIIT-CNRVerified email at iit.cnr.it
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
Luca CompagnaSAP Security ResearchVerified email at sap.com
Fabio MartinelliConsiglio Nazionale delle RicercheVerified email at iit.cnr.it
Denis ButinTU Darmstadt, Inria, Dublin City UniversityVerified email at cdc.informatik.tu-darmstadt.de
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Paul CurzonProfessor in Computer Science, Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Simon N FoleyVerified email at simonfoley.org
Ronaldo MenezesProfessor of Data and Network Science, University of ExeterVerified email at exeter.ac.uk
Dr.Saad AlmutairiUniversity of TabukVerified email at ut.edu.sa
P. Lió, Pietro Lio, P. Lio, Pietro Liò, Pie...University of CambridgeVerified email at cam.ac.uk
Domenico CantoneProfessor of Computer Science, University of CataniaVerified email at dmi.unict.it

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 European Symposium on Research in Computer Security, 361-375, 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	98	2003
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 Analysis of the Kerberos Authentication System. G Bella, E Riccobene J. Univers. Comput. Sci. 3 (12), 1337-1381, 1997	91	1997
Formal Correctness of Security Protocols G Bella	84	2007
Mechanical proofs about a non-repudiation protocol G Bella, LC Paulson International Conference on Theorem Proving in Higher Order Logics, 91-104, 2001	83	2001
Formal verification of cardholder registration in SET G Bella, F Massacci, LC Paulson, P Tramontano European Symposium on Research in Computer Security, 159-174, 2000	79	2000
Inductive verification of cryptographic protocols G Bella University of Cambridge, Computer Laboratory, 2000	76	2000
Using Isabelle to prove properties of the Kerberos authentication system G Bella, LC Paulson In DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997	74	1997
Verifying the SET purchase protocols G Bella, F Massacci, LC Paulson Journal of Automated Reasoning 36 (1), 5-37, 2006	64	2006
Accountability protocols: Formalized and verified G Bella, LC Paulson ACM Transactions on Information and System Security (TISSEC) 9 (2), 138-161, 2006	59	2006
Layered analysis of security ceremonies G Bella, L Coles-Kemp IFIP International Information Security Conference, 273-286, 2012	56	2012
An overview of the verification of SET G Bella, F Massacci, LC Paulson International Journal of Information Security 4 (1), 17-28, 2005	56	2005
Mechanising BAN Kerberos by the inductive method G Bella, LC Paulson International Conference on Computer Aided Verification, 416-427, 1998	49	1998
Inductive verification of smart card protocols G Bella Journal of Computer Security 11 (1), 87-132, 2003	42	2003
Verifying second-level security protocols G Bella, C Longo, LC Paulson International Conference on Theorem Proving in Higher Order Logics, 352-366, 2003	37	2003
Enforcing privacy in e-commerce by balancing anonymity and trust G Bella, R Giustolisi, S Riccobene Computers & Security 30 (8), 705-718, 2011	35	2011
Soft constraints for security protocol analysis: Confidentiality G Bella, S Bistarelli International Symposium on Practical Aspects of Declarative Languages, 108-122, 2001	31	2001
Managing reputation over manets G Bella, G Costantino, S Riccobene 2008 The Fourth International Conference on Information Assurance and …, 2008	28	2008
Retaliation: Can we live with flaws? JP Thomas, M Essaaidi Information Assurance and Computer Security 6, 3, 2006	25	2006

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 this author

Cited by

Co-authors