Giampaolo Bella

187 papers A* 2A 4B 5C 15Misc 13Journal 66Unranked 71
YearRankTypeTitle / Venue / Authors
2026 J jnl
A comparative benchmark study of LLM-based threat elicitation tools.
Future Gener. Comput. Syst.
Dimitri Van Landuyt, Majid Mollaeefar, Mario Raciti, Stef Verreydt, Abdulaziz Kalash, Andrea Bissoli, Davy Preuveneers, Giampaolo Bella, Silvio Ranise
2026 — book
Hacking Voice-Controllable Devices
Sergio Esposito, Daniele Sgandurra, Giampaolo Bella, Daniel O'Keeffe
2026 — ed.
Proceedings of the Joint Ontology Workshops (JOWO) - Episode XI: The Sicilian Summer under the Etna, co-located with the 15th International Conference on Formal Ontology in Information Systems (FOIS 2025), Catania, Italy, September 8-12, 2025.
JOWO
John Beverley, C. Maria Keet, Naveen Lamba, Patrick Lambrix, Sanju Tiwari, Stefano De Giorgis, Guendalina Righetti, Gabriele Sacco, João Luiz Rebelo Moreira, Walter Terkaj, Adrien Barton, Mattia Fumagalli, Oliver Kutz, Damion M. Dooley, Davide Audrito, Francesca Grasso, Roberto Nai, Emilio Sulis, Peter L. Elkin, Jeremy Ravenel, Ken Archer, José M. Parente de Oliveira, Alcides Lopes, Luana Bulla, Gabriele Tuccio, Giusy Giulia Tuccari, Ítalo Oliveira, Daniele Francesco Santamaria, Gal Engelberg, Gianpietro Castiglione, Giampaolo Bella, Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo, Maria M. Hedblom, Bart Gajderowicz, Daniela Rosu, Janna Hastings, Jacqueline Csonka-Peeren, William D. Duncan, Julie Bowker, Hollen Reischer, Yongun He, Fabrício Henrique Rodrigues, Alessandro Umbrico, Emilio M. Sanfilippo, Fabio Longo
2025 J jnl
A case of smart devices that compromise home cybersecurity.
Comput. Secur.
Davide Bonaventura, Sergio Esposito, Giampaolo Bella
2025 — conf
AI-related Vulnerabilities within CVEs: Are We Ready Yet? A Study of Vulnerability Disclosure in AI Products.
AISec@CCS
Marcello Maugeri, Gianpietro Castiglione, Mario Raciti, Giampaolo Bella
2025 — conf
Capillary Static Policy Setup and Multisensory Dynamic Feedback in Modern Cars.
HCI (49)
Giampaolo Bella, Sergio Esposito, Mirko Giuseppe Mangano, Mario Raciti
2025 — conf
From Cluttered to Clustered: Addressing Privacy Threat Explosion through Automated Clustering.
EuroS&P (Workshops)
Jonah Bellemans, Mario Raciti, Dimitri Van Landuyt, Laurens Sion, Giampaolo Bella, Lieven Desmet, Wouter Joosen
2025 J jnl
Guiding cybersecurity compliance: An ontology for the NIS 2 directive.
Comput. Secur.
Gianpietro Castiglione, Daniele Francesco Santamaria, Giampaolo Bella, Laura Brisindi, Gaetano Puccia
2025 C conf
Human-Artificial Intelligent Threat Modelling in the Automotive Domain.
IOLTS
Giampaolo Bella, Gianpietro Castiglione, Sergio Esposito, Mirko Giuseppe Mangano, Giacomo Pampallona, Mario Raciti, Salvatore Riccobene, Daniele Francesco Santamaria
2025 — conf
PECSo: A Privacy Enhancing Framework for Applications in the Automotive Domain.
ITASEC/SERICS
Giampaolo Bella, Sergio Esposito, Mirko Giuseppe Mangano, Salvatore Riccobene, Daniele Francesco Santamaria, Gabriele Veneziano Broccia
2025 — conf
Poster: Machine Learning for Vulnerability Detection as Target Oracle in Automated Fuzz Driver Generation.
DIMVA (1)
Gianpietro Castiglione, Marcello Maugeri, Giampaolo Bella
2025 J jnl
Poster: Machine Learning for Vulnerability Detection as Target Oracle in Automated Fuzz Driver Generation.
CoRR
Gianpietro Castiglione, Marcello Maugeri, Giampaolo Bella
2025 C conf
Private and Verifiable Storage of User Vehicles' Privacy Settings through Decentralisation.
DLT
Gianpietro Castiglione, Giampaolo Bella, Daniele Francesco Santamaria, Sergio Esposito
2025 J jnl
SecOnto: Ontological Representation of Security Directives.
Comput. Secur.
Gianpietro Castiglione, Giampaolo Bella, Daniele Francesco Santamaria
2025 J jnl
The SPADA methodology for threat modelling.
Int. J. Inf. Sec.
Mario Raciti, Giampaolo Bella
2025 — conf
To See or Not to See: A Privacy Threat Model for Digital Forensics in Crime Investigation.
ISDFS
Mario Raciti, Simone Di Mauro, Dimitri Van Landuyt, Giampaolo Bella
2025 J jnl
To See or Not to See: A Privacy Threat Model for Digital Forensics in Crime Investigation.
CoRR
Mario Raciti, Simone Di Mauro, Dimitri Van Landuyt, Giampaolo Bella
2024 J jnl
A behaviouristic semantic approach to blockchain-based e-commerce.
Semantic Web
Giampaolo Bella, Domenico Cantone, Gianpietro Castiglione, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024 — conf
A meta-ontological approach to securing the semantic web data.
JOWO
Giampaolo Bella, Domenico Cantone, Gianpietro Castiglione, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024 — conf
Behind the (Digital Crime) Scenes: An MSC Model.
ISDFS
Mario Raciti, Giampaolo Bella
2024 J jnl
Behind the (Digital Crime) Scenes: An MSC Model.
CoRR
Mario Raciti, Giampaolo Bella
2024 — conf
Compliance-Driven CWE Assessment by Semantic Similarity.
ESORICS Workshops (2)
Gianpietro Castiglione, Giampaolo Bella
2024 B conf
Modelling the privacy landscape of the Internet of Vehicles.
ARES
Ruben Cacciato, Mario Raciti, Sergio Esposito, Giampaolo Bella
2024 J jnl
Not Sure Your Car Withstands Cyberwarfare.
CoRR
Giampaolo Bella, Gianpietro Castiglione, Sergio Esposito, Mario Raciti, Salvatore Riccobene
2024 — ed.
Proceedings of the Joint Ontology Workshops (JOWO) - Episode X: The Tukker Zomer of Ontology, and satellite events co-located with the 14th International Conference on Formal Ontology in Information Systems (FOIS 2024), Enschede, The Netherlands, July 15-19, 2024.
JOWO
Italo Jose da Silva Oliveira, Pedro Paulo F. Barcelos, Rodrigo F. Calhau, Claudenir M. Fonseca, Guendalina Righetti, Stefano De Giorgis, Gabriele Sacco, Maria M. Hedblom, Oliver Kutz, Martin Glauer, Mirjam Stappel, Cássia Trojahn, María Poveda-Villalón, Daniel Garijo, César Henrique Bernabé, Asiyah Yu Lin, Francesco Compagno, Anna Fensel, Walter Terkaj, Greta Adamo, Damion M. Dooley, Michaela Kümpel, Georgeta Bordea, Robert Warren, Anoosha Sehar, Matthew Lange, Felix Bindt, Ido Toxopeus, Davide Audrito, Francesca Grasso, Roberto Nai, Emilio Sulis, John Beverley, Mark Jensen, Sergio de Cesare, Frederik Gailly, Chris Partridge, Oscar Pastor, Alexander García Castro, Thomas Hubauer, Wolfgang Suess, Philipp Schmurr, Max Willis, Daniele Francesco Santamaria, Thijs van Ede, Dan Klein, Gal Engelberg, Gianpietro Castiglione, Giampaolo Bella, Andrea Continella, Giancarlo Guizzardi, Davide Lanti, Alessandro Mosca, Federico Maria Scafoglieri, Guohui Xiao, Krzysztof Kutt, Jesualdo Tomás Fernández-Breis, Alois Pichler, Gábor Palkó, Grzegorz J. Nalepa, Pawel Garbacz, Robert Pergl, Zubeida Casmod Khan, João Moreira, Adrien Barton, Emilio M. Sanfilippo, Laura Daniele, João Paulo A. Almeida, Enrico Franconi, Paul Johannesson, Chiara Ghidini, Veruska Zamborlini
2024 C conf
The IoT Breaches Your Household Again.
SECRYPT
Davide Bonaventura, Sergio Esposito, Giampaolo Bella
2024 J jnl
The IoT Breaches your Household Again.
CoRR
Davide Bonaventura, Sergio Esposito, Giampaolo Bella
2024 J jnl
Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum.
Appl. Ontology
Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024 — conf
User-Empowered Federated Learning in the Automotive Domain.
Blockchain
Marcello Maugeri, Mirko Ignazio Paolo Morana, Sergio Esposito, Giampaolo Bella
2023 — conf
A Behaviouristic Approach to Representing Processes and Procedures in the OASIS 2 Ontology.
JOWO
Giampaolo Bella, Gianpietro Castiglione, Daniele Francesco Santamaria
2023 — conf
A Threat Model for Soft Privacy on Smart Cars.
EuroS&P Workshops
Mario Raciti, Giampaolo Bella
2023 J jnl
A Threat Model for Soft Privacy on Smart Cars.
CoRR
Mario Raciti, Giampaolo Bella
2023 J jnl
A behaviouristic approach to representing processes and procedures in the OASIS 2 ontology.
CoRR
Giampaolo Bella, Gianpietro Castiglione, Daniele Francesco Santamaria
2023 — conf
An Automated Method for the Ontological Representation of Security Directives.
JOWO
Giampaolo Bella, Gianpietro Castiglione, Daniele Francesco Santamaria
2023 — conf
An Ontological Approach to Compliance Verification of the NIS 2 Directive.
JOWO
Giampaolo Bella, Gianpietro Castiglione, Daniele Francesco Santamaria
2023 J jnl
An automated method for the ontological representation of security directives.
CoRR
Giampaolo Bella, Gianpietro Castiglione, Daniele Francesco Santamaria
2023 J jnl
An ontological approach to compliance verification of the NIS 2 directive.
CoRR
Gianpietro Castiglione, Daniele Francesco Santamaria, Giampaolo Bella
2023 C conf
Evaluating the Fork-Awareness of Coverage-Guided Fuzzers.
ICISSP
Marcello Maugeri, Cristian Daniele, Giampaolo Bella, Erik Poll
2023 J jnl
Evaluating the Fork-Awareness of Coverage-Guided Fuzzers.
CoRR
Marcello Maugeri, Cristian Daniele, Giampaolo Bella, Erik Poll
2023 — conf
Forkfuzz: Leveraging the Fork-Awareness in Coverage-Guided Fuzzing.
ESORICS Workshops (2)
Marcello Maugeri, Cristian Daniele, Giampaolo Bella
2023 C conf
How to Model Privacy Threats in the Automotive Domain.
VEHITS
Mario Raciti, Giampaolo Bella
2023 J jnl
How to Model Privacy Threats in the Automotive Domain.
CoRR
Mario Raciti, Giampaolo Bella
2023 — ed.
Innovative Security Solutions for Information Technology and Communications - 15th International Conference, SecITC 2022, Virtual Event, December 8-9, 2022, Revised Selected Papers
SecITC
Giampaolo Bella, Mihai Doinea, Helge Janicke
2023 J jnl
PETIoT: PEnetration Testing the Internet of Things.
CoRR
Giampaolo Bella, Pietro Biondi, Stefano Bognanni, Sergio Esposito
2023 J jnl
PETIoT: PEnetration Testing the Internet of Things.
Internet Things
Giampaolo Bella, Pietro Biondi, Stefano Bognanni, Sergio Esposito
2023 A conf
Protecting Voice-Controllable Devices Against Self-Issued Voice Commands.
EuroS&P
Sergio Esposito, Daniele Sgandurra, Giampaolo Bella
2023 C conf
Smart Bulbs Can Be Hacked to Hack into Your Household.
SECRYPT
Davide Bonaventura, Sergio Esposito, Giampaolo Bella
2023 J jnl
Smart Bulbs can be Hacked to Hack into your Household.
CoRR
Davide Bonaventura, Sergio Esposito, Giampaolo Bella
2023 J jnl
The AILA Methodology for Automated and Intelligent Likelihood Assignment in Risk Assessment.
IEEE Access
Giampaolo Bella, Cristian Daniele, Mario Raciti
2023 J jnl
The Ontology for Agents, Systems and Integration of Services: OASIS version 2.
CoRR
Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2023 — conf
The VOCODES Kill Chain for Voice Controllable Devices.
ESORICS Workshops (2)
Sergio Esposito, Daniele Sgandurra, Giampaolo Bella
2023 J jnl
The ontology for agents, systems and integration of services: OASIS version 2
Intelligenza Artificiale
Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2023 B conf
Towards Grammatical Tagging for the Legal Language of Cybersecurity.
ARES
Gianpietro Castiglione, Giampaolo Bella, Daniele Francesco Santamaria
2023 J jnl
Towards Grammatical Tagging for the Legal Language of Cybersecurity.
CoRR
Gianpietro Castiglione, Giampaolo Bella, Daniele Francesco Santamaria
2023 — conf
Up-to-Date Threat Modelling for Soft Privacy on Smart Cars.
ESORICS Workshops (1)
Mario Raciti, Giampaolo Bella
2023 J jnl
Up-to-date Threat Modelling for Soft Privacy on Smart Cars.
CoRR
Mario Raciti, Giampaolo Bella
2022 A conf
ALEXA VERSUS ALEXA: Controlling Smart Speakers by Self-Issuing Voice Commands.
AsiaCCS
Sergio Esposito, Daniele Sgandurra, Giampaolo Bella
2022 J jnl
Alexa versus Alexa: Controlling Smart Speakers by Self-Issuing Voice Commands.
CoRR
Sergio Esposito, Daniele Sgandurra, Giampaolo Bella
2022 J jnl
Attacking and Protecting Network Printers and VoIP Phones alike.
CoRR
Giampaolo Bella, Pietro Biondi, Stefano Bognanni
2022 J jnl
Designing and implementing an AUTOSAR-based Basic Software Module for enhanced security.
Comput. Networks
Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2022 J jnl
Embedded fuzzing: a review of challenges, tools, and solutions.
Cybersecur.
Max Eisele, Marcello Maugeri, Rachna Shriwas, Christopher Huth, Giampaolo Bella
2022 — conf
Interactional Freedom and Cybersecurity.
SecITC
Giampaolo Bella
2022 J jnl
Modelling human threats in security ceremonies.
J. Comput. Secur.
Giampaolo Bella, Rosario Giustolisi, Carsten Schürmann
2022 J jnl
Multi-service threats: Attacking and protecting network printers and VoIP phones alike.
Internet Things
Giampaolo Bella, Pietro Biondi, Stefano Bognanni
2022 — conf
Papyrus-Based Safety Analysis Automatization.
ICSRS
Pietro Biondi, Fabrizio Tronci, Giampaolo Bella
2022 — conf
The AILA Methodology for Automated and Intelligent Likelihood Assignment.
CSP
Giampaolo Bella, Cristian Daniele, Mario Raciti
2022 — conf
The ontology for agents, systems and integration of services: recent advancements of OASIS.
WOA
Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2022 J jnl
Vulnerability Assessment and Penetration Testing on IP cameras.
CoRR
Pietro Biondi, Stefano Bognanni, Giampaolo Bella
2021 Misc conf
Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis.
IDC
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 J jnl
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version).
CoRR
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 J jnl
CINNAMON: A Module for AUTOSAR Secure Onboard Communication.
CoRR
Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2021 B conf
Car Drivers' Privacy Concerns and Trust Perceptions.
TrustBus
Giampaolo Bella, Pietro Biondi, Giuseppe Tudisco
2021 J jnl
Car drivers' privacy concerns and trust perceptions.
CoRR
Giampaolo Bella, Pietro Biondi, Giuseppe Tudisco
2021 J jnl
Out to Explore the Cybersecurity Planet.
CoRR
Giampaolo Bella
2021 — conf
Privacy and modern cars through a dual lens.
EuroS&P Workshops
Giampaolo Bella, Pietro Biondi, Marco De Vincenzi, Giuseppe Tudisco
2021 J jnl
Privacy and modern cars through a dual lens.
CoRR
Giampaolo Bella, Pietro Biondi, Marco De Vincenzi, Giuseppe Tudisco
2021 J jnl
Secure Routine: A Routine-Based Algorithm for Drivers Identification.
CoRR
Davide Micale, Gianpiero Costantino, Ilaria Matteucci, Giuseppe Patanè, Giampaolo Bella
2021 — conf
Semantic Representation as a Key Enabler for Blockchain-Based Commerce.
GECON
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 — conf
SixPack: Abusing ABS to avoid Misbehavior detection in VANETs.
VTC Spring
Francesco Pollicino, Dario Stabili, Giampaolo Bella, Mirco Marchetti
2021 J jnl
TOUCAN: A proTocol tO secUre Controller Area Network.
CoRR
Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2021 J jnl
Towards an Integrated Penetration Testing Environment for the CAN Protocol.
CoRR
Giampaolo Bella, Pietro Biondi
2021 — conf
Towards the COSCA framework for "COnseptualing Secure CArs".
Open Identity Summit
Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci, Mirco Marchetti
2021 J jnl
VoIP Can Still Be Exploited - Badly.
CoRR
Pietro Biondi, Stefano Bognanni, Giampaolo Bella
2021 — conf
Vulnerability Assessment and Penetration Testing on IP camera.
IOTSMS
Pietro Biondi, Stefano Bognanni, Giampaolo Bella
2021 J jnl
You Overtrust Your Printer.
CoRR
Giampaolo Bella, Pietro Biondi
2020 Misc conf
CINNAMON: A Module for AUTOSAR Secure Onboard Communication.
EDCC
Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2020 — conf
VoIP Can Still Be Exploited - Badly.
FMEC
Pietro Biondi, Stefano Bognanni, Giampaolo Bella
2019 — conf
An Investigation into the "Beautification" of Security Ceremonies.
ICETE (2)
Giampaolo Bella, Karen Renaud, Diego Sempreboni, Luca Viganò
2019 — conf
Are you secure in your car?: poster.
WiSec
Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2019 B conf
Implementing CAN bus security by TOUCAN.
MobiHoc
Pietro Biondi, Giampaolo Bella, Gianpiero Costantino, Ilaria Matteucci
2019 — conf
TOUCAN: A proTocol tO secUre Controller Area Network.
AutoSec@CODASPY
Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2019 — conf
What Are the Threats? (Charting the Threat Models of Security Ceremonies).
ICETE (2)
Diego Sempreboni, Giampaolo Bella, Rosario Giustolisi, Luca Viganò
2019 — conf
You Already Used Formal Methods but Did Not Know It.
FMTea
Giampaolo Bella
2019 — conf
You Overtrust Your Printer.
SAFECOMP Workshops
Giampaolo Bella, Pietro Biondi
2018 C conf
Getmewhere: A Location-Based Privacy-Preserving Information Service.
PDP
Giampaolo Bella, Francesco Marino, Gianpiero Costantino, Fabio Martinelli
2018 J jnl
Invalid certificates in modern browsers: A socio-technical analysis.
J. Comput. Secur.
Rosario Giustolisi, Giampaolo Bella, Gabriele Lenzini
2018 — ed.
STAST 2018: 8th International Workshop on Socio-Technical Aspects in Security and Trust, San Juan, Puerto Rico, USA, December, 2018
STAST
Giampaolo Bella, Gabriele Lenzini, Theo Tryfonas, Debi Ashenden
2018 — conf
Towards an Integrated Penetration Testing Environment for the CAN Protocol.
SAFECOMP Workshops
Giampaolo Bella, Pietro Biondi
2017 — conf
Analysing Privacy Analyses.
ITASEC
Giampaolo Bella, Denis Butin, Hugo Jonker
2017 — conf
Idea: A Unifying Theory for Evaluation Systems.
ESSoS
Giampaolo Bella, Rosario Giustolisi
2017 — ed.
Proceedings of the 7th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2017, Orlando, FL, USA, December 5, 2017
STAST
Giampaolo Bella, Gabriele Lenzini
2017 J jnl
Trustworthy exams without trusted parties.
Comput. Secur.
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
2016 — conf
Invisible Security (Transcript of Discussion).
Security Protocols Workshop
Giampaolo Bella
2016 — conf
Invisible Security.
Security Protocols Workshop
Giampaolo Bella, Bruce Christianson, Luca Viganò
2016 — ed.
Proceedings of the 6th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2016, Los Angeles, CA, USA, December 5, 2016
STAST
Gabriele Lenzini, Giampaolo Bella, Zinaida Benenson, Carrie E. Gates
2015 — ed.
2015 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2015, Verona, Italy, July 13, 2015
STAST
Giampaolo Bella, Gabriele Lenzini
2015 Misc conf
A Secure Exam Protocol Without Trusted Parties.
SEC
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
2015 — conf
Security is Beautiful.
Security Protocols Workshop
Giampaolo Bella, Luca Viganò
2015 J jnl
Service security and privacy as a socio-technical problem.
J. Comput. Secur.
Giampaolo Bella, Paul Curzon, Gabriele Lenzini
2015 J jnl
Special issue on the Security Track at the ACM Symposium on Applied Computing 2013.
Int. J. Inf. Sec.
Giampaolo Bella, Helge Janicke
2014 — ed.
2014 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014, Vienna, Austria, July 18, 2014
STAST
Giampaolo Bella, Gabriele Lenzini
2014 — conf
A Socio-technical Methodology for the Security and Privacy Analysis of Services.
COMPSAC Workshops
Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini
2014 J jnl
Inductive study of confidentiality: for everyone.
Formal Aspects Comput.
Giampaolo Bella
2014 C conf
Secure exams despite malicious management.
PST
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini
2014 — conf
The Challenges behind Independent Living Support Systems.
AMT
Giampaolo Bella, Pekka Jäppinen, Jussi Laakkonen
2013 — conf
A Socio-technical Understanding of TLS Certificate Validation.
IFIPTM
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini
2013 J jnl
Enhancing DSR maintenance with power awareness.
Comput. Stand. Interfaces
Giampaolo Bella, Gianpiero Costantino, Jon Crowcroft, Salvatore Riccobene
2013 C conf
Socio-technical formal analysis of TLS certificate validation in modern browsers.
PST
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini
2013 — conf
Towards Verifying Voter Privacy through Unlinkability.
ESSoS
Denis Butin, David Gray, Giampaolo Bella
2013 C conf
What security for electronic exams?
CRiSIS
Rosario Giustolisi, Gabriele Lenzini, Giampaolo Bella
2012 — conf
Foreword from the Workshop Chairs - STAST 2012.
STAST
Giampaolo Bella, Gabriele Lenzini
2012 J jnl
Inductive Study of Confidentiality.
Arch. Formal Proofs
Giampaolo Bella
2012 Misc conf
Layered Analysis of Security Ceremonies.
SEC
Giampaolo Bella, Lizzie Coles-Kemp
2012 — conf
Specifying security requirements of context aware system using UML.
ICDIM
Saad Almutairi, Giampaolo Bella, Ala Abu-Samaha
2012 C conf
Verifying Privacy by Little Interaction and No Process Equivalence.
SECRYPT
Denis Butin, Giampaolo Bella
2011 J jnl
Enforcing privacy in e-commerce by balancing anonymity and trust.
Comput. Secur.
Giampaolo Bella, Rosario Giustolisi, Salvatore Riccobene
2011 C conf
Holistic analysis of mix protocols.
IAS
Giampaolo Bella, Denis Butin, David Gray
2011 B conf
Internet Users' Security and Privacy While They Interact with Amazon.
TrustCom
Giampaolo Bella, Lizzie Coles-Kemp
2011 J jnl
Multi-Attacker Protocol Validation.
J. Autom. Reason.
Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna
2011 — conf
Remote Management of Face-to-face Written Authenticated Though Anonymous Exams.
CSEDU (2)
Giampaolo Bella, Gianpiero Costantino, Lizzie Coles-Kemp, Salvatore Riccobene
2010 J jnl
The principle of guarantee availability for security protocol analysis.
Int. J. Inf. Sec.
Giampaolo Bella
2010 — conf
Virtually Perfect Democracy.
Security Protocols Workshop
Giampaolo Bella, Peter Y. A. Ryan, Vanessa Teague
2010 — conf
WATA - A System for Written Authenticated though Anonymous Exams.
CSEDU (2)
Giampaolo Bella, Gianpiero Costantino, Salvatore Riccobene
2009 — conf
Attacking Each Other.
Security Protocols Workshop
Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna
2009 — conf
Formal Analysis of the Genetic Toggle.
CMSB
Giampaolo Bella, Pietro Liò
2009 J jnl
Journal of Computer SecuritySpecial Number devoted to the best papers of the Security Track at the 2006 ACM Symposium on Applied Computing.
J. Comput. Secur.
Giampaolo Bella, Peter Y. A. Ryan
2009 — conf
Validating Security Protocols under the General Attacker.
ARSPA-WITS
Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna
2008 C conf
Managing Reputation over MANETs.
IAS
Giampaolo Bella, Gianpiero Costantino, Salvatore Riccobene
2008 C conf
Realistic Threats to Self-Enforcing Privacy.
IAS
Giampaolo Bella, Francesco Librizzi, Salvatore Riccobene
2008 — conf
Security Protocol Deployment Risk.
Security Protocols Workshop
Simon N. Foley, Giampaolo Bella, Stefano Bistarelli
2008 Misc conf
Special track on Computer Security: editorial message.
SAC
Giampaolo Bella
2008 J jnl
What is Correctness of Security Protocols?
J. Univers. Comput. Sci.
Giampaolo Bella
2007 — book
Formal Correctness of Security Protocols - With 62 Figures and 4 Tables
Giampaolo Bella
2006 J jnl
Accountability protocols: Formalized and verified.
ACM Trans. Inf. Syst. Secur.
Giampaolo Bella, Lawrence C. Paulson
2006 — conf
Augmented Risk Analysis.
VODCA@FOSAD
Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene
2006 Misc conf
Editorial message: special track on computer security.
SAC
Giampaolo Bella, Peter Y. A. Ryan
2006 J jnl
Verifying the SET Purchase Protocols.
J. Autom. Reason.
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson
2005 J jnl
An overview of the verification of SET.
Int. J. Inf. Sec.
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson
2005 J jnl
Guest Editors' preface.
J. Comput. Secur.
Giampaolo Bella, Peter Y. A. Ryan
2005 J jnl
Information Assurance for security protocols.
Comput. Secur.
Giampaolo Bella, Stefano Bistarelli
2005 Misc conf
Locating Mobile Nodes Within Logical Networks.
PSC
Giampaolo Bella, Costantino Pistagna, Salvatore Riccobene
2005 Misc conf
Special track on computer security.
SAC
Giampaolo Bella, Peter Y. A. Ryan
2004 — conf
Distributed Backup through Information Dispersal.
VODCA@FOSAD
Giampaolo Bella, Costantino Pistagna, Salvatore Riccobene
2004 Misc conf
Editoral message: special track on computer security.
SAC
Giampaolo Bella, Peter Y. A. Ryan
2004 — conf
Should We Prove Security Policies Correct?
EGCDMAS
Sebastiano Battiato, Giampaolo Bella, Salvatore Riccobene
2004 J jnl
Soft Constraint Programming to Analysing Security Protocols.
Theory Pract. Log. Program.
Giampaolo Bella, Stefano Bistarelli
2004 — conf
Soft Constraints for Security.
VODCA@FOSAD
Giampaolo Bella, Stefano Bistarelli, Simon N. Foley
2004 J jnl
Special Issue: Computer Security.
Concurr. Pract. Exp.
Giampaolo Bella, Ronaldo Menezes
2003 — conf
A Protocol's Life After Attacks... (Discussion).
Security Protocols Workshop
Giampaolo Bella
2003 — conf
A Protocol's Life After Attacks....
Security Protocols Workshop
Giampaolo Bella, Stefano Bistarelli, Fabio Massacci
2003 Misc conf
Availability of Protocol Goals.
SAC
Giampaolo Bella
2003 — conf
Biometrics to Enhance Smartcard Security.
Security Protocols Workshop
Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli
2003 Misc conf
Computer Security Track Editorial.
SAC
Giampaolo Bella, Ronaldo Menezes
2003 J jnl
Inductive Verification of Smart Card Protocols.
J. Comput. Secur.
Giampaolo Bella
2003 — conf
Is the Verification Problem for Cryptographic Protocols Solved?.
Security Protocols Workshop
Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson
2003 J jnl
Soft Constraint Programming to Analysing Security Protocols
CoRR
Giampaolo Bella, Stefano Bistarelli
2003 — conf
Verifying Second-Level Security Protocols.
TPHOLs
Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson
2003 J jnl
Verifying the SET registration protocols.
IEEE J. Sel. Areas Commun.
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson
2002 — conf
Analyzing Delegation Properties.
Security Protocols Workshop
Giampaolo Bella, Lawrence C. Paulson
2002 — conf
Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks.
Security Protocols Workshop
Giampaolo Bella, Stefano Bistarelli
2002 Misc conf
Editorial Message: special track on computer security.
SAC
Giampaolo Bella, Ronaldo Menezes, James A. Whittaker
2002 Misc conf
Interactive simulation of security policies.
SAC
Giampaolo Bella
2002 A* conf
The verification of an industrial payment protocol: the SET purchase phase.
CCS
Giampaolo Bella, Lawrence C. Paulson, Fabio Massacci
2001 — conf
A Proof of Non-repudiation.
Security Protocols Workshop
Giampaolo Bella, Lawrence C. Paulson
2001 — conf
Mechanical Proofs about a Non-repudiation Protocol.
TPHOLs
Giampaolo Bella, Lawrence C. Paulson
2001 — conf
Mechanising a Protocol for Smart Cards.
E-smart
Giampaolo Bella
2001 C conf
Soft Constraints for Security Protocol Analysis: Confidentiality.
PADL
Giampaolo Bella, Stefano Bistarelli
2000 A conf
Formal Verification of Cardholder Registration in SET.
ESORICS
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano
2000 — —
Inductive verification of cryptographic protocols
Giampaolo Bella
2000 — conf
Lack of Explicitness Strikes Back (Transcript of Discussion).
Security Protocols Workshop
Giampaolo Bella
2000 — conf
Lack of Explicitness Strikes Back.
Security Protocols Workshop
Giampaolo Bella
2000 — conf
Making Sense of Specifications: The Formalization of SET.
Security Protocols Workshop
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano
1999 — conf
Modelling Agents' Knowledge Inductively.
Security Protocols Workshop
Giampaolo Bella
1998 — conf
A Realistic Environment for Crypto-Protocol Analyses by ASMs.
Workshop on Abstract State Machines
Giampaolo Bella, Elvinia Riccobene
1998 A conf
Kerberos Version 4: Inductive Analysis of the Secrecy Goals.
ESORICS
Giampaolo Bella, Lawrence C. Paulson
1998 A* conf
Mechanising BAN Kerberos by the Inductive Method.
CAV
Giampaolo Bella, Lawrence C. Paulson
1997 J jnl
Formal Analysis of the Kerberos Authentication System.
J. Univers. Comput. Sci.
Giampaolo Bella, Elvinia Riccobene