Giampaolo Bella
发表
Gabriele Lenzini,
Giampaolo Bella,
Rosario Giustolisi,
2013,
IFIPTM.
Peter Y. A. Ryan,
Vanessa Teague,
Giampaolo Bella,
2010,
Security Protocols Workshop.
Giampaolo Bella,
Rosario Giustolisi,
2017,
ESSoS.
Giampaolo Bella,
Helge Janicke,
2015,
International Journal of Information Security.
Giampaolo Bella,
Luca Compagna,
Wihem Arsac,
2011,
Journal of Automated Reasoning.
Lawrence C. Paulson,
Giampaolo Bella,
Lawrence Charles Paulson,
1998
.
Giampaolo Bella,
G. Bella,
2007
.
Dieter Gollmann,
Jan Jürjens,
Tuomas Aura,
2002
.
Gabriele Lenzini,
Giampaolo Bella,
Rosario Giustolisi,
2018,
J. Comput. Secur..
Stefano Bistarelli,
Fabio Martinelli,
Giampaolo Bella,
2003,
Security Protocols Workshop.
Giampaolo Bella,
Pekka Jäppinen,
Jussi Laakkonen,
2014,
AMT.
Ronaldo Menezes,
Giampaolo Bella,
R. Menezes,
2004
.
Gabriele Lenzini,
Giampaolo Bella,
G. Lenzini,
2015,
STAST.
Giampaolo Bella,
2003,
Security Protocols Workshop.
Giampaolo Bella,
2009,
International Journal of Information Security.
Fabio Massacci,
Lawrence C. Paulson,
Giampaolo Bella,
2005,
Journal of Automated Reasoning.
Stefano Bistarelli,
Giampaolo Bella,
2008
.
Giampaolo Bella,
G. Bella,
2007
.
Simon N. Foley,
Stefano Bistarelli,
Giampaolo Bella,
2004,
VODCA@FOSAD.
Fabio Massacci,
Lawrence C. Paulson,
Giampaolo Bella,
2002,
CCS '02.
Fabio Massacci,
Lawrence C. Paulson,
Giampaolo Bella,
2000,
Security Protocols Workshop.
Stefano Bistarelli,
Giampaolo Bella,
2001,
PADL.
Giampaolo Bella,
Lieven Desmet,
2018
.
Giampaolo Bella,
G. Bella,
2007
.
Gabriele Lenzini,
Giampaolo Bella,
2012,
STAST.
Giampaolo Bella,
2016,
Security Protocols Workshop.
Ronaldo Menezes,
Giampaolo Bella,
R. Menezes,
2004,
Concurr. Pract. Exp..
Giampaolo Bella,
2003,
J. Comput. Secur..
Gianpiero Costantino,
Jon Crowcroft,
Giampaolo Bella,
2013,
Comput. Stand. Interfaces.
Giampaolo Bella,
2008,
SAC '08.
Giampaolo Bella,
G. Bella,
1999
.
Giampaolo Bella,
G. Bella,
2007
.
Lawrence C. Paulson,
Giampaolo Bella,
2002,
Security Protocols Workshop.
Giampaolo Bella,
G. Bella,
2007
.
Paul Curzon,
Gabriele Lenzini,
Giampaolo Bella,
2014,
2014 IEEE 38th International Computer Software and Applications Conference Workshops.
Lawrence C. Paulson,
Giampaolo Bella,
Lawrence Charles Paulson,
2001,
TPHOLs.
Giampaolo Bella,
Rosario Giustolisi,
Salvatore Riccobene,
2011,
Comput. Secur..
Giampaolo Bella,
G. Bella,
2012,
Formal Aspects of Computing.
Giampaolo Bella,
Salvatore Riccobene,
Costantino Pistagna,
2006,
Electron. Notes Theor. Comput. Sci..
Giampaolo Bella,
2000,
Security Protocols Workshop.
Giampaolo Bella,
G. Bella,
2007
.
Elvinia Riccobene,
Giampaolo Bella,
E. Riccobene,
1997,
J. Univers. Comput. Sci..
Giampaolo Bella,
Salvatore Riccobene,
Costantino Pistagna,
2005,
PSC.
Fabio Massacci,
Lawrence C. Paulson,
Giampaolo Bella,
2002
.
Gianpiero Costantino,
Ilaria Matteucci,
Giampaolo Bella,
2019,
WiSec.
Stefano Bistarelli,
Giampaolo Bella,
Salvatore Riccobene,
2007,
Electron. Notes Theor. Comput. Sci..
Giampaolo Bella,
Pietro Biondi,
Stefano Bognanni,
2020,
2020 Fifth International Conference on Fog and Mobile Edge Computing (FMEC).
Giampaolo Bella,
G. Bella,
2012,
Arch. Formal Proofs.
Gabriele Lenzini,
Giampaolo Bella,
Rosario Giustolisi,
2013,
2013 Eleventh Annual Conference on Privacy, Security and Trust.
Luca Viganò,
Bruce Christianson,
Giampaolo Bella,
2016,
Security Protocols Workshop.
Giampaolo Bella,
2002,
SAC '02.
Peter Y. A. Ryan,
Giampaolo Bella,
2005,
SAC '05.
Sebastiano Battiato,
Giampaolo Bella,
Salvatore Riccobene,
2004,
EGCDMAS.
Giampaolo Bella,
Denis Butin,
2012,
SECRYPT.
Giampaolo Bella,
G. Bella,
2007,
Information Security and Cryptography.
Giampaolo Bella,
2003,
SAC '03.
Lawrence C. Paulson,
Giampaolo Bella,
Lawrence Charles Paulson,
2001,
Security Protocols Workshop.
Fabio Massacci,
Lawrence C. Paulson,
Giampaolo Bella,
2003,
IEEE J. Sel. Areas Commun..
Stefano Bistarelli,
Giampaolo Bella,
G. Bella,
2005,
Comput. Secur..
Giampaolo Bella,
Lizzie Coles-Kemp,
Lizzie Coles-Kemp,
2011
.
Gianpiero Costantino,
Giampaolo Bella,
Salvatore Riccobene,
2009,
2009 Fifth International Conference on Wireless and Mobile Communications.
Ronaldo Menezes,
James A. Whittaker,
Giampaolo Bella,
2002,
SAC.
Gabriele Lenzini,
Peter Y. A. Ryan,
Giampaolo Bella,
2017,
Comput. Secur..
Simon N. Foley,
Stefano Bistarelli,
Giampaolo Bella,
2008,
Security Protocols Workshop.
Giampaolo Bella,
David Gray,
Denis Butin,
2013,
ESSoS.
Peter Y. A. Ryan,
Giampaolo Bella,
2006,
SAC '06.
Fabio Massacci,
Lawrence C. Paulson,
Giampaolo Bella,
2000
.
Gianpiero Costantino,
Giampaolo Bella,
Salvatore Riccobene,
2010,
CSEDU.
Ronaldo Menezes,
Giampaolo Bella,
2003,
SAC '03.
Fabio Massacci,
Lawrence C. Paulson,
Giampaolo Bella,
2000,
ESORICS.
Gabriele Lenzini,
Peter Y. A. Ryan,
Giampaolo Bella,
2015,
SEC.
Lawrence C. Paulson,
Giampaolo Bella,
Lawrence Charles Paulson,
1998,
ESORICS.
Giampaolo Bella,
Luca Compagna,
Wihem Arsac,
2009,
ARSPA-WITS.
Lawrence C. Paulson,
Giampaolo Bella,
Cristiano Longo,
2003,
Security Protocols Workshop.
Giampaolo Bella,
G. Bella,
2007
.
Gianpiero Costantino,
Ilaria Matteucci,
Giampaolo Bella,
2019,
AutoSec@CODASPY.
Giampaolo Bella,
Pietro Biondi,
2018,
SAFECOMP Workshops.
Peter Y. A. Ryan,
Giampaolo Bella,
2009,
J. Comput. Secur..
Peter Y. A. Ryan,
Giampaolo Bella,
P. Ryan,
2004,
SAC '04.
Gabriele Lenzini,
Giampaolo Bella,
Rosario Giustolisi,
2013,
2013 International Conference on Risks and Security of Internet and Systems (CRiSIS).
Stefano Bistarelli,
Fabio Massacci,
Giampaolo Bella,
2003,
Security Protocols Workshop.
Giampaolo Bella,
Steve Kremer,
Manuel Bernardo Barbosa,
2014
.
Gabriele Lenzini,
Giampaolo Bella,
Rosario Giustolisi,
2014,
2014 Twelfth Annual International Conference on Privacy, Security and Trust.
Paul Curzon,
Gabriele Lenzini,
Giampaolo Bella,
2015,
J. Comput. Secur..
Giampaolo Bella,
G. Bella,
2000
.
Giampaolo Bella,
Denis Butin,
Hugo L. Jonker,
2017,
ITASEC.
Giampaolo Bella,
David Gray,
Denis Butin,
2011,
2011 7th International Conference on Information Assurance and Security (IAS).
Giampaolo Bella,
2008,
J. Univers. Comput. Sci..
Luca Viganò,
Giampaolo Bella,
L. Viganò,
2015,
Security Protocols Workshop.
Gianpiero Costantino,
Fabio Martinelli,
Giampaolo Bella,
2018,
2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).
Giampaolo Bella,
Salvatore Riccobene,
Francesco Librizzi,
2008,
2008 The Fourth International Conference on Information Assurance and Security.
Giampaolo Bella,
G. Bella,
2007
.
Fabio Massacci,
Lawrence C. Paulson,
Giampaolo Bella,
2005,
International Journal of Information Security.
Stefano Bistarelli,
Giampaolo Bella,
2004,
Theory Pract. Log. Program..
Giampaolo Bella,
G. Bella,
2007
.
Gianpiero Costantino,
Ilaria Matteucci,
Giampaolo Bella,
2020,
2020 16th European Dependable Computing Conference (EDCC).
Elvinia Riccobene,
Giampaolo Bella,
1998,
Workshop on Abstract State Machines.
Giampaolo Bella,
Sergio Maffeis,
S. Maffeis,
2015
.
Gianpiero Costantino,
Giampaolo Bella,
Salvatore Riccobene,
2008,
2008 The Fourth International Conference on Information Assurance and Security.
Lawrence C. Paulson,
Giampaolo Bella,
Cristiano Longo,
2003,
TPHOLs.
Giampaolo Bella,
1999,
Security Protocols Workshop.
Dieter Gollmann,
Gabriele Lenzini,
Melanie Volkamer,
2016,
Workshop on Socio-Technical Aspects in Security and Trust.
Stefano Bistarelli,
Giampaolo Bella,
2002,
Security Protocols Workshop.
Pietro Liò,
Giampaolo Bella,
P. Lio’,
2009,
CMSB.
Lawrence C. Paulson,
Giampaolo Bella,
Lawrence Charles Paulson,
2006,
TSEC.
Lawrence C. Paulson,
Giampaolo Bella,
Lawrence Charles Paulson,
1998,
CAV.
Stefano Bistarelli,
Giampaolo Bella,
James A. Malcolm,
2003
.
Giampaolo Bella,
2001,
E-smart.
Giampaolo Bella,
Luca Compagna,
Wihem Arsac,
2009,
Security Protocols Workshop.
Gabriele Lenzini,
Giampaolo Bella,
Lizzie Coles-Kemp,
2019,
KR.
Gianpiero Costantino,
Ilaria Matteucci,
Giampaolo Bella,
2021,
ArXiv.
Giampaolo Bella,
Pietro Biondi,
Marco De Vincenzi,
2021,
2021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Gianpiero Costantino,
Ilaria Matteucci,
Giampaolo Bella,
2021,
Open Identity Summit.
Giampaolo Bella,
Pietro Biondi,
Giuseppe Tudisco,
2021,
TrustBus.
Domenico Cantone,
Marianna Nicolosi Asmundo,
Giampaolo Bella,
2021,
GECON.
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
pdf
Domenico Cantone,
Marianna Nicolosi Asmundo,
Giampaolo Bella,
2021,
ArXiv.
Giampaolo Bella,
Mirco Marchetti,
Dario Stabili,
2021,
IEEE Vehicular Technology Conference.
Fabio Massacci,
Lawrence C. Paulson,
Giampaolo Bella,
2002
.
Stefano Bistarelli,
Fabio Martinelli,
Giampaolo Bella,
2003
.
Stefano Bistarelli,
Fabio Massacci,
Giampaolo Bella,
2005
.
Gianpiero Costantino,
Giampaolo Bella,
Salvatore Riccobene,
2009
.