| 2025 | DIMVA | Poster: Machine Learning for Vulnerability Detection as Target Oracle in Automated Fuzz Driver Generation. | Gianpietro Castiglione, Marcello Maugeri, Giampaolo Bella |
| 2025 | ESORICS | Modelling Offensive Security Killchains from Compliance Gaps with Security Directives. | Gianpietro Castiglione, Giampaolo Bella |
| 2025 | ESORICS | Towards Automated Threat Elicitation from the AI Act. | Simone Di Mauro, Mario Raciti, Giampaolo Bella |
| 2025 | HCI | Capillary Static Policy Setup and Multisensory Dynamic Feedback in Modern Cars. | Giampaolo Bella, Sergio Esposito, Mirko Giuseppe Mangano, Mario Raciti |
| 2025 | IOLTS | Human-Artificial Intelligent Threat Modelling in the Automotive Domain. | Giampaolo Bella, Gianpietro Castiglione, Sergio Esposito, Mirko Giuseppe Mangano, Giacomo Pampallona, Mario Raciti, Salvatore Riccobene, Daniele Francesco Santamaria |
| 2025 | SSBSE | KrakQL: LLM-Guided Blind Introspection of GraphQL Schemas. | Marcello Maugeri, Abenezer Angamo, Giampaolo Bella |
| 2024 | ESORICS | Compliance-Driven CWE Assessment by Semantic Similarity. | Gianpietro Castiglione, Giampaolo Bella |
| 2024 | SECRYPT | The IoT Breaches Your Household Again. | Davide Bonaventura, Sergio Esposito, Giampaolo Bella |
| 2023 | ESORICS | The VOCODES Kill Chain for Voice Controllable Devices. | Sergio Esposito, Daniele Sgandurra, Giampaolo Bella |
| 2023 | ESORICS | Forkfuzz: Leveraging the Fork-Awareness in Coverage-Guided Fuzzing. | Marcello Maugeri, Cristian Daniele, Giampaolo Bella |
| 2023 | ESORICS | Up-to-Date Threat Modelling for Soft Privacy on Smart Cars. | Mario Raciti, Giampaolo Bella |
| 2023 | ICISSP | Evaluating the Fork-Awareness of Coverage-Guided Fuzzers. | Marcello Maugeri, Cristian Daniele, Giampaolo Bella, Erik Poll |
| 2023 | SECRYPT | Smart Bulbs Can Be Hacked to Hack into Your Household. | Davide Bonaventura, Sergio Esposito, Giampaolo Bella |
| 2023 | VEHITS | How to Model Privacy Threats in the Automotive Domain. | Mario Raciti, Giampaolo Bella |
| 2022 | AsiaCCS | ALEXA VERSUS ALEXA: Controlling Smart Speakers by Self-Issuing Voice Commands. | Sergio Esposito, Daniele Sgandurra, Giampaolo Bella |
| 2021 | IDC | Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis. | Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
| 2021 | VTC | SixPack: Abusing ABS to avoid Misbehavior detection in VANETs. | Francesco Pollicino, Dario Stabili, Giampaolo Bella, Mirco Marchetti |
| 2021 | TrustBus | Car Drivers' Privacy Concerns and Trust Perceptions. | Giampaolo Bella, Pietro Biondi, Giuseppe Tudisco |
| 2020 | EDCC | CINNAMON: A Module for AUTOSAR Secure Onboard Communication. | Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci |
| 2019 | MOBIHOC | Implementing CAN bus security by TOUCAN. | Pietro Biondi, Giampaolo Bella, Gianpiero Costantino, Ilaria Matteucci |
| 2019 | SAFECOMP | You Overtrust Your Printer. | Giampaolo Bella, Pietro Biondi |
| 2018 | PDP | Getmewhere: A Location-Based Privacy-Preserving Information Service. | Giampaolo Bella, Francesco Marino, Gianpiero Costantino, Fabio Martinelli |
| 2018 | SAFECOMP | Towards an Integrated Penetration Testing Environment for the CAN Protocol. | Giampaolo Bella, Pietro Biondi |
| 2015 | SEC | A Secure Exam Protocol Without Trusted Parties. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan |
| 2014 | COMPSAC | A Socio-technical Methodology for the Security and Privacy Analysis of Services. | Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini |
| 2014 | PST | Secure exams despite malicious management. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini |
| 2013 | CRiSIS | What security for electronic exams? | Rosario Giustolisi, Gabriele Lenzini, Giampaolo Bella |
| 2013 | PST | Socio-technical formal analysis of TLS certificate validation in modern browsers. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini |
| 2012 | SEC | Layered Analysis of Security Ceremonies. | Giampaolo Bella, Lizzie Coles-Kemp |
| 2012 | SECRYPT | Verifying Privacy by Little Interaction and No Process Equivalence. | Denis Butin, Giampaolo Bella |
| 2011 | CSEDU | Remote Management of Face-to-face Written Authenticated Though Anonymous Exams. | Giampaolo Bella, Gianpiero Costantino, Lizzie Coles-Kemp, Salvatore Riccobene |
| 2011 | TrustCom | Internet Users' Security and Privacy While They Interact with Amazon. | Giampaolo Bella, Lizzie Coles-Kemp |
| 2010 | CSEDU | WATA - A System for Written Authenticated though Anonymous Exams. | Giampaolo Bella, Gianpiero Costantino, Salvatore Riccobene |
| 2008 | SAC | Special track on Computer Security: editorial message. | Giampaolo Bella |
| 2006 | SAC | Editorial message: special track on computer security. | Giampaolo Bella, Peter Y. A. Ryan |
| 2005 | SAC | Special track on computer security. | Giampaolo Bella, Peter Y. A. Ryan |
| 2004 | SAC | Editoral message: special track on computer security. | Giampaolo Bella, Peter Y. A. Ryan |
| 2003 | SAC | Availability of Protocol Goals. | Giampaolo Bella |
| 2003 | SAC | Computer Security Track Editorial. | Giampaolo Bella, Ronaldo Menezes |
| 2002 | CCS | The verification of an industrial payment protocol: the SET purchase phase. | Giampaolo Bella, Lawrence C. Paulson, Fabio Massacci |
| 2002 | SAC | Interactive simulation of security policies. | Giampaolo Bella |
| 2002 | SAC | Editorial Message: special track on computer security. | Giampaolo Bella, Ronaldo Menezes, James A. Whittaker |
| 2001 | PADL | Soft Constraints for Security Protocol Analysis: Confidentiality. | Giampaolo Bella, Stefano Bistarelli |
| 2000 | ESORICS | Formal Verification of Cardholder Registration in SET. | Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano |
| 1998 | CAV | Mechanising BAN Kerberos by the Inductive Method. | Giampaolo Bella, Lawrence C. Paulson |
| 1998 | ESORICS | Kerberos Version 4: Inductive Analysis of the Secrecy Goals. | Giampaolo Bella, Lawrence C. Paulson |