Giampaolo Bella

Citat de

	Toate	Din 2020
Referințe bibliografice	2512	685
h-index	25	13
i10-index	62	24

220

110

165

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520 26 31 48 62 93 91 90 96 123 119 87 101 89 136 121 87 100 79 85 60 46 75 57 132 203 184 32

Acces public

Afișați-le pe toate

17 articole

3 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Lawrence PaulsonUniversity of CambridgeAdresă de e-mail confirmată pe cam.ac.uk
Pietro BiondiPh.D, University of CataniaAdresă de e-mail confirmată pe phd.unict.it
Gianpiero CostantinoIIT-CNRAdresă de e-mail confirmată pe iit.cnr.it
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgAdresă de e-mail confirmată pe uni.lu
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyAdresă de e-mail confirmată pe ieee.org
Rosario GiustolisiIT University of CopenhagenAdresă de e-mail confirmată pe itu.dk
Stefano BistarelliFull professor of Computer Science at University of PerugiaAdresă de e-mail confirmată pe unipg.it
Ilaria MatteucciIIT-CNRAdresă de e-mail confirmată pe iit.cnr.it
Elvinia RiccobeneProfessore, Università di Milano, ItalyAdresă de e-mail confirmată pe unimi.it
Domenico CantoneProfessor of Computer Science, University of CataniaAdresă de e-mail confirmată pe dmi.unict.it
Marianna Nicolosi AsmundoAssistant Professor of Computer Science, Catania UniversityAdresă de e-mail confirmată pe aixia.it
Peter RyanProfessor of applied security, university of luxembourgAdresă de e-mail confirmată pe uni.lu
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeAdresă de e-mail confirmată pe kcl.ac.uk
Luca CompagnaSAP Security ResearchAdresă de e-mail confirmată pe sap.com
Daniele SgandurraAdresă de e-mail confirmată pe danielesgandurra.com
Paul CurzonProfessor in Computer Science, Queen Mary University of LondonAdresă de e-mail confirmată pe eecs.qmul.ac.uk
Diego SempreboniKing's College LondonAdresă de e-mail confirmată pe kcl.ac.uk
Fabio MartinelliConsiglio Nazionale delle RicercheAdresă de e-mail confirmată pe cnr.it
Denis ButinDFS (Deutsche Flugsicherung), TU Darmstadt, Inria, Dublin City UniversityAdresă de e-mail confirmată pe cdc.informatik.tu-darmstadt.de
Karen RenaudDepartment of Computer and Information Sciences, University of StrathclydeAdresă de e-mail confirmată pe strath.ac.uk

Urmăriți

Giampaolo Bella

University of Catania

Adresă de e-mail confirmată pe dmi.unict.it - Pagina de pornire

Cybersecurity Data Protection Formal Methods IoT Cyber-Physical Systems


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	115	2003
Formal Analysis of the Kerberos Authentication System. G Bella, E Riccobene J. Univers. Comput. Sci. 3 (12), 1337-1381, 1997	100	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	95	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	86	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	85	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	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	74	1997
Layered analysis of security ceremonies G Bella, L Coles-Kemp IFIP International Information Security Conference, 273-286, 2012	70	2012
An overview of the verification of SET G Bella, F Massacci, LC Paulson International Journal of Information Security 4, 17-28, 2005	61	2005
Accountability protocols: Formalized and verified G Bella, LC Paulson ACM Transactions on Information and System Security (TISSEC) 9 (2), 138-161, 2006	59	2006
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	58	2019
Mechanising BAN Kerberos by the inductive method G Bella, LC Paulson Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	54	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	42	2011
Verifying second-level security protocols G Bella, C Longo, LC Paulson International Conference on Theorem Proving in Higher Order Logics, 352-366, 2003	40	2003
Soft constraints for security protocol analysis: Confidentiality G Bella, S Bistarelli International Symposium on Practical Aspects of Declarative Languages, 108-122, 2001	35	2001
Embedded fuzzing: a review of challenges, tools, and solutions M Eisele, M Maugeri, R Shriwas, C Huth, G Bella Cybersecurity 5 (1), 18, 2022	34	2022

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori