Giampaolo Bella

引用先

	すべて	2020 年以来
引用	2526	688
h 指標	25	13
i10 指標	62	25

220

110

165

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 26 28 51 62 92 93 91 96 126 119 90 100 92 142 124 85 94 80 79 64 48 72 59 140 210 180 24

オープンアクセス

すべて表示

16 件の論文

3 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

Lawrence PaulsonUniversity of Cambridge確認したメールアドレス: cam.ac.uk
Pietro BiondiPh.D, University of Catania確認したメールアドレス: phd.unict.it
Gianpiero CostantinoIIT-CNR確認したメールアドレス: iit.cnr.it
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, Italy確認したメールアドレス: ieee.org
Stefano BistarelliFull professor of Computer Science at University of Perugia確認したメールアドレス: unipg.it
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of Luxembourg確認したメールアドレス: uni.lu
Rosario GiustolisiIT University of Copenhagen確認したメールアドレス: itu.dk
Ilaria MatteucciIIT-CNR確認したメールアドレス: iit.cnr.it
Domenico CantoneProfessor of Computer Science, University of Catania確認したメールアドレス: dmi.unict.it
Marianna Nicolosi AsmundoAssistant Professor of Computer Science, Catania University確認したメールアドレス: aixia.it
Elvinia RiccobeneProfessore, Università di Milano, Italy確認したメールアドレス: unimi.it
Peter RyanProfessor of applied security, university of luxembourg確認したメールアドレス: uni.lu
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College確認したメールアドレス: kcl.ac.uk
Luca CompagnaSAP Security Research確認したメールアドレス: sap.com
Diego SempreboniKing's College London確認したメールアドレス: kcl.ac.uk
Daniele Sgandurra確認したメールアドレス: danielesgandurra.com
Paul CurzonProfessor in Computer Science, Queen Mary University of London確認したメールアドレス: eecs.qmul.ac.uk
Fabio MartinelliConsiglio Nazionale delle Ricerche確認したメールアドレス: cnr.it
Denis ButinDFS (Deutsche Flugsicherung), TU Darmstadt, Inria, Dublin City University確認したメールアドレス: cdc.informatik.tu-darmstadt.de
Karen RenaudDepartment of Computer and Information Sciences, University of Strathclyde確認したメールアドレス: strath.ac.uk

フォロー

Giampaolo Bella

University of Catania

確認したメールアドレス: dmi.unict.it - ホームページ

Cybersecurity Data Protection Formal Methods IoT Cyber-Physical Systems


タイトル引用回数順公開年順タイトル順	引用先引用先	年
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	113	2003
Formal Analysis of the Kerberos Authentication System. G Bella, E Riccobene J. Univers. Comput. Sci. 3 (12), 1337-1381, 1997	101	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	90	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	77	1997
Layered analysis of security ceremonies G Bella, L Coles-Kemp Information Security and Privacy Research: 27th IFIP TC 11 Information …, 2012	69	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	60	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	57	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	41	2011
Verifying second-level security protocols G Bella, C Longo, LC Paulson International Conference on Theorem Proving in Higher Order Logics, 352-366, 2003	38	2003
Embedded fuzzing: a review of challenges, tools, and solutions M Eisele, M Maugeri, R Shriwas, C Huth, G Bella Cybersecurity 5 (1), 18, 2022	35	2022
Soft constraints for security protocol analysis: Confidentiality G Bella, S Bistarelli International Symposium on Practical Aspects of Declarative Languages, 108-122, 2001	35	2001

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者