Giampaolo Bella
Giampaolo Bella
Email verificata su dmi.unict.it
Titolo
Citata da
Citata da
Anno
Kerberos version IV: Inductive analysis of the secrecy goals
G Bella, LC Paulson
European Symposium on Research in Computer Security, 361-375, 1998
1841998
Verifying the SET registration protocols
G Bella, F Massacci, LC Paulson
IEEE Journal on Selected Areas in Communications 21 (1), 77-87, 2003
932003
Formal analysis of the Kerberos authentication system
G Bella, E Riccobene
Journal of Universal Computer Science 3 (12), 1337-1381, 1997
891997
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
872002
Search for squarks and gluinos in events with an isolated lepton, jets, and missing transverse momentum at
M Aaboud
PHYSICAL REVIEW D Phys Rev D 96, 112010, 2017
842017
Search for invisible particles produced in association with single-top-quarks in proton–proton collisions at with the ATLAS detector
G Aad, B Abbott, J Abdallah, SA Khalek, R Aben, B Abi, M Abolins, ...
The European Physical Journal C 75 (2), 79, 2015
822015
Formal correctness of security protocols
G Bella
Springer Science & Business Media, 2007
822007
Mechanical proofs about a non-repudiation protocol
G Bella, LC Paulson
International Conference on Theorem Proving in Higher Order Logics, 91-104, 2001
792001
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
762000
Inductive verification of cryptographic protocols
G Bella
University of Cambridge, Computer Laboratory, 2000
742000
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
721997
Measurements of top-quark pair differential cross-sections in the lepton+jets channel in pp collisions at sá…
G Aad, B Abbott, J Abdallah, R Aben, M Abolins, OS AbouZeid, ...
The European Physical Journal C 76 (10), 1-39, 2016
662016
Verifying the SET purchase protocols
G Bella, F Massacci, LC Paulson
Journal of Automated Reasoning 36 (1-2), 5-37, 2006
642006
An overview of the verification of SET
G Bella, F Massacci, LC Paulson
International Journal of Information Security 4 (1-2), 17-28, 2005
542005
Accountability protocols: Formalized and verified
G Bella, LC Paulson
ACM Transactions on Information and System Security (TISSEC) 9 (2), 138-161, 2006
532006
Layered analysis of security ceremonies
G Bella, L Coles-Kemp
IFIP International Information Security Conference, 273-286, 2012
482012
Mechanising BAN Kerberos by the inductive method
G Bella, LC Paulson
International Conference on Computer Aided Verification, 416-427, 1998
481998
Measurement of differential cross-sections of a single top quark produced in association with a W boson at sá…
M Aaboud, G Aad, B Abbott, B Abeloos, SH Abidi, OS AbouZeid, ...
The European Physical Journal C 78 (3), 1-29, 2018
412018
Inductive verification of smart card protocols
G Bella
Journal of Computer Security 11 (1), 87-132, 2003
402003
Measurements of top-quark pair spin correlations in the eμ channel at√ s= 13 TeV using pp collisions in the ATLAS detector
Atlas Collaboration
European Physical Journal C 80 (8), 754, 2020
37*2020
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20