Formal Analysis of the Kerberos Authentication System. - Giampaolo Bella; Elvinia Riccobene (J. Univers. Comput. Sci., 1997)

A Realistic Environment for Crypto-Protocol Analyses by ASMs. - Giampaolo Bella; Elvinia Riccobene (Workshop on Abstract State Machines, 1998)

Mechanising BAN Kerberos by the Inductive Method. - Giampaolo Bella; Lawrence C. Paulson (CAV, 1998)

Kerberos Version 4: Inductive Analysis of the Secrecy Goals. - Giampaolo Bella; Lawrence C. Paulson (ESORICS, 1998)

Modelling Agents' Knowledge Inductively. - Giampaolo Bella (Security Protocols Workshop, 1999)

Formal Verification of Cardholder Registration in SET. - Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson; Piero Tramontano (ESORICS, 2000)

Lack of Explicitness Strikes Back. - Giampaolo Bella (Security Protocols Workshop, 2000)

Lack of Explicitness Strikes Back (Transcript of Discussion). - Giampaolo Bella (Security Protocols Workshop, 2000)

Making Sense of Specifications: The Formalization of SET. - Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson; Piero Tramontano (Security Protocols Workshop, 2000)

Inductive verification of cryptographic protocols - Giampaolo Bella (2000)

Mechanising a Protocol for Smart Cards. - Giampaolo Bella (E-smart, 2001)

Soft Constraints for Security Protocol Analysis: Confidentiality. - Giampaolo Bella; Stefano Bistarelli (PADL, 2001)

A Proof of Non-repudiation. - Giampaolo Bella; Lawrence C. Paulson (Security Protocols Workshop, 2001)

Mechanical Proofs about a Non-repudiation Protocol. - Giampaolo Bella; Lawrence C. Paulson (TPHOLs, 2001)

The verification of an industrial payment protocol: the SET purchase phase. - Giampaolo Bella; Lawrence C. Paulson; Fabio Massacci (CCS, 2002)

Interactive simulation of security policies. - Giampaolo Bella (SAC, 2002)

Editorial Message: special track on computer security. - Giampaolo Bella; Ronaldo Menezes; James A. Whittaker (SAC, 2002)

Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks. - Giampaolo Bella; Stefano Bistarelli (Security Protocols Workshop, 2002)

Analyzing Delegation Properties. - Giampaolo Bella; Lawrence C. Paulson (Security Protocols Workshop, 2002)

Availability of Protocol Goals. - Giampaolo Bella (SAC, 2003)

Computer Security Track Editorial. - Giampaolo Bella; Ronaldo Menezes (SAC, 2003)

A Protocol's Life After Attacks... (Discussion). - Giampaolo Bella (Security Protocols Workshop, 2003)

A Protocol's Life After Attacks.... - Giampaolo Bella; Stefano Bistarelli; Fabio Massacci (Security Protocols Workshop, 2003)

Biometrics to Enhance Smartcard Security. - Giampaolo Bella; Stefano Bistarelli; Fabio Martinelli (Security Protocols Workshop, 2003)

Is the Verification Problem for Cryptographic Protocols Solved?. - Giampaolo Bella; Cristiano Longo; Lawrence C. Paulson (Security Protocols Workshop, 2003)

Verifying Second-Level Security Protocols. - Giampaolo Bella; Cristiano Longo; Lawrence C. Paulson (TPHOLs, 2003)

Inductive Verification of Smart Card Protocols. - Giampaolo Bella (J. Comput. Secur., 2003)

Verifying the SET registration protocols. - Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson (IEEE J. Sel. Areas Commun., 2003)

Should We Prove Security Policies Correct? - Sebastiano Battiato; Giampaolo Bella; Salvatore Riccobene (EGCDMAS, 2004)

Editoral message: special track on computer security. - Giampaolo Bella; Peter Y. A. Ryan (SAC, 2004)

Special Issue: Computer Security. - Giampaolo Bella; Ronaldo Menezes (Concurr. Pract. Exp., 2004)

Soft Constraints for Security. - Giampaolo Bella; Stefano Bistarelli; Simon N. Foley (VODCA@FOSAD, 2004)

Distributed Backup through Information Dispersal. - Giampaolo Bella; Costantino Pistagna; Salvatore Riccobene (VODCA@FOSAD, 2004)

Soft Constraint Programming to Analysing Security Protocols. - Giampaolo Bella; Stefano Bistarelli (Theory Pract. Log. Program., 2004)

Locating Mobile Nodes Within Logical Networks. - Giampaolo Bella; Costantino Pistagna; Salvatore Riccobene (PSC, 2005)

Special track on computer security. - Giampaolo Bella; Peter Y. A. Ryan (SAC, 2005)

Information Assurance for security protocols. - Giampaolo Bella; Stefano Bistarelli (Comput. Secur., 2005)

An overview of the verification of SET. - Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson (Int. J. Inf. Sec., 2005)

Guest Editors' preface. - Giampaolo Bella; Peter Y. A. Ryan (J. Comput. Secur., 2005)

Editorial message: special track on computer security. - Giampaolo Bella; Peter Y. A. Ryan (SAC, 2006)

Augmented Risk Analysis. - Giampaolo Bella; Stefano Bistarelli; Pamela Peretti; Salvatore Riccobene (VODCA@FOSAD, 2006)

Verifying the SET Purchase Protocols. - Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson (J. Autom. Reason., 2006)

Accountability protocols: Formalized and verified. - Giampaolo Bella; Lawrence C. Paulson (ACM Trans. Inf. Syst. Secur., 2006)

Formal Correctness of Security Protocols - With 62 Figures and 4 Tables - Giampaolo Bella (Springer, 2007)

Managing Reputation over MANETs. - Giampaolo Bella; Gianpiero Costantino; Salvatore Riccobene (IAS, 2008)

Realistic Threats to Self-Enforcing Privacy. - Giampaolo Bella; Francesco Librizzi; Salvatore Riccobene (IAS, 2008)

Special track on Computer Security: editorial message. - Giampaolo Bella (SAC, 2008)

Security Protocol Deployment Risk. - Simon N. Foley; Giampaolo Bella; Stefano Bistarelli (Security Protocols Workshop, 2008)

What is Correctness of Security Protocols? - Giampaolo Bella (J. Univers. Comput. Sci., 2008)

Formal Analysis of the Genetic Toggle. - Giampaolo Bella; Pietro Liò (CMSB, 2009)

Validating Security Protocols under the General Attacker. - Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna (ARSPA-WITS, 2009)

Attacking Each Other. - Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna (Security Protocols Workshop, 2009)

Journal of Computer SecuritySpecial Number devoted to the best papers of the Security Track at the 2006 ACM Symposium on Applied Computing. - Giampaolo Bella; Peter Y. A. Ryan (J. Comput. Secur., 2009)

WATA - A System for Written Authenticated though Anonymous Exams. - Giampaolo Bella; Gianpiero Costantino; Salvatore Riccobene (CSEDU (2), 2010)

Virtually Perfect Democracy. - Giampaolo Bella; Peter Y. A. Ryan; Vanessa Teague (Security Protocols Workshop, 2010)

The principle of guarantee availability for security protocol analysis. - Giampaolo Bella (Int. J. Inf. Sec., 2010)

Holistic analysis of mix protocols. - Giampaolo Bella; Denis Butin; David Gray (IAS, 2011)

Remote Management of Face-to-face Written Authenticated Though Anonymous Exams. - Giampaolo Bella; Gianpiero Costantino; Lizzie Coles-Kemp; Salvatore Riccobene (CSEDU (2), 2011)

Internet Users' Security and Privacy While They Interact with Amazon. - Giampaolo Bella; Lizzie Coles-Kemp (TrustCom, 2011)

Enforcing privacy in e-commerce by balancing anonymity and trust. - Giampaolo Bella; Rosario Giustolisi; Salvatore Riccobene (Comput. Secur., 2011)

Multi-Attacker Protocol Validation. - Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna (J. Autom. Reason., 2011)

Specifying security requirements of context aware system using UML. - Saad Almutairi; Giampaolo Bella; Ala Abu-Samaha (ICDIM, 2012)

Layered Analysis of Security Ceremonies. - Giampaolo Bella; Lizzie Coles-Kemp (SEC, 2012)

Verifying Privacy by Little Interaction and No Process Equivalence. - Denis Butin; Giampaolo Bella (SECRYPT, 2012)

Foreword from the Workshop Chairs - STAST 2012. - Giampaolo Bella; Gabriele Lenzini (STAST, 2012)

Inductive Study of Confidentiality. - Giampaolo Bella (Arch. Formal Proofs, 2012)

What security for electronic exams? - Rosario Giustolisi; Gabriele Lenzini; Giampaolo Bella (CRiSIS, 2013)

Towards Verifying Voter Privacy through Unlinkability. - Denis Butin; David Gray; Giampaolo Bella (ESSoS, 2013)

A Socio-technical Understanding of TLS Certificate Validation. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini (IFIPTM, 2013)

Socio-technical formal analysis of TLS certificate validation in modern browsers. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini (PST, 2013)

Enhancing DSR maintenance with power awareness. - Giampaolo Bella; Gianpiero Costantino; Jon Crowcroft; Salvatore Riccobene (Comput. Stand. Interfaces, 2013)

The Challenges behind Independent Living Support Systems. - Giampaolo Bella; Pekka Jäppinen; Jussi Laakkonen (AMT, 2014)

A Socio-technical Methodology for the Security and Privacy Analysis of Services. - Giampaolo Bella; Paul Curzon; Rosario Giustolisi; Gabriele Lenzini (COMPSAC Workshops, 2014)

Secure exams despite malicious management. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini (PST, 2014)

Inductive study of confidentiality: for everyone. - Giampaolo Bella (Formal Aspects Comput., 2014)

A Secure Exam Protocol Without Trusted Parties. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini; Peter Y. A. Ryan (SEC, 2015)

Security is Beautiful. - Giampaolo Bella; Luca Viganò 001 (Security Protocols Workshop, 2015)

Special issue on the Security Track at the ACM Symposium on Applied Computing 2013. - Giampaolo Bella; Helge Janicke (Int. J. Inf. Sec., 2015)

Service security and privacy as a socio-technical problem. - Giampaolo Bella; Paul Curzon; Gabriele Lenzini (J. Comput. Secur., 2015)

Invisible Security (Transcript of Discussion). - Giampaolo Bella (Security Protocols Workshop, 2016)

Invisible Security. - Giampaolo Bella; Bruce Christianson; Luca Viganò 001 (Security Protocols Workshop, 2016)

Idea: A Unifying Theory for Evaluation Systems. - Giampaolo Bella; Rosario Giustolisi (ESSoS, 2017)

Analysing Privacy Analyses. - Giampaolo Bella; Denis Butin; Hugo Jonker (ITASEC, 2017)

Trustworthy exams without trusted parties. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini; Peter Y. A. Ryan (Comput. Secur., 2017)

Getmewhere: A Location-Based Privacy-Preserving Information Service. - Giampaolo Bella; Francesco Marino 002; Gianpiero Costantino; Fabio Martinelli (PDP, 2018)

Towards an Integrated Penetration Testing Environment for the CAN Protocol. - Giampaolo Bella; Pietro Biondi (SAFECOMP Workshops, 2018)

Invalid certificates in modern browsers: A socio-technical analysis. - Rosario Giustolisi; Giampaolo Bella; Gabriele Lenzini (J. Comput. Secur., 2018)

TOUCAN: A proTocol tO secUre Controller Area Network. - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci (AutoSec@CODASPY, 2019)

An Investigation into the "Beautification" of Security Ceremonies. - Giampaolo Bella; Karen Renaud; Diego Sempreboni; Luca Viganò 001 (ICETE (2), 2019)

What Are the Threats? (Charting the Threat Models of Security Ceremonies). - Diego Sempreboni; Giampaolo Bella; Rosario Giustolisi; Luca Viganò 001 (ICETE (2), 2019)

Implementing CAN bus security by TOUCAN. - Pietro Biondi; Giampaolo Bella; Gianpiero Costantino; Ilaria Matteucci (MobiHoc, 2019)

You Overtrust Your Printer. - Giampaolo Bella; Pietro Biondi (SAFECOMP Workshops, 2019)

You Already Used Formal Methods but Did Not Know It. - Giampaolo Bella (FMTea, 2019)

Are you secure in your car?: poster. - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci (WiSec, 2019)

CINNAMON: A Module for AUTOSAR Secure Onboard Communication. - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci (EDCC, 2020)

VoIP Can Still Be Exploited - Badly. - Pietro Biondi; Stefano Bognanni; Giampaolo Bella (FMEC, 2020)

Privacy and modern cars through a dual lens. - Giampaolo Bella; Pietro Biondi; Marco De Vincenzi 001; Giuseppe Tudisco (EuroS&P Workshops, 2021)

Semantic Representation as a Key Enabler for Blockchain-Based Commerce. - Giampaolo Bella; Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (GECON, 2021)

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 (IDC, 2021)

Vulnerability Assessment and Penetration Testing on IP camera. - Pietro Biondi; Stefano Bognanni; Giampaolo Bella (IOTSMS, 2021)

Towards the COSCA framework for "COnseptualing Secure CArs". - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci; Mirco Marchetti (Open Identity Summit, 2021)

Car Drivers' Privacy Concerns and Trust Perceptions. - Giampaolo Bella; Pietro Biondi; Giuseppe Tudisco (TrustBus, 2021)

SixPack: Abusing ABS to avoid Misbehavior detection in VANETs. - Francesco Pollicino; Dario Stabili; Giampaolo Bella; Mirco Marchetti (VTC Spring, 2021)

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version). - Giampaolo Bella; Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2021)

Secure Routine: A Routine-Based Algorithm for Drivers Identification. - Davide Micale; Gianpiero Costantino; Ilaria Matteucci; Giuseppe Patanè 002; Giampaolo Bella (CoRR, 2021)

Out to Explore the Cybersecurity Planet. - Giampaolo Bella (CoRR, 2021)

ALEXA VERSUS ALEXA: Controlling Smart Speakers by Self-Issuing Voice Commands. - Sergio Esposito; Daniele Sgandurra; Giampaolo Bella (AsiaCCS, 2022)

The AILA Methodology for Automated and Intelligent Likelihood Assignment. - Giampaolo Bella; Cristian Daniele; Mario Raciti (CSP, 2022)

Papyrus-Based Safety Analysis Automatization. - Pietro Biondi; Fabrizio Tronci; Giampaolo Bella (ICSRS, 2022)

Interactional Freedom and Cybersecurity. - Giampaolo Bella (SecITC, 2022)

The ontology for agents, systems and integration of services: recent advancements of OASIS. - Giampaolo Bella; Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (WOA, 2022)

Designing and implementing an AUTOSAR-based Basic Software Module for enhanced security. - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci (Comput. Networks, 2022)

Vulnerability Assessment and Penetration Testing on IP cameras. - Pietro Biondi; Stefano Bognanni; Giampaolo Bella (CoRR, 2022)

Attacking and Protecting Network Printers and VoIP Phones alike. - Giampaolo Bella; Pietro Biondi; Stefano Bognanni (CoRR, 2022)

Embedded fuzzing: a review of challenges, tools, and solutions. - Max Eisele; Marcello Maugeri; Rachna Shriwas; Christopher Huth; Giampaolo Bella (Cybersecur., 2022)

Multi-service threats: Attacking and protecting network printers and VoIP phones alike. - Giampaolo Bella; Pietro Biondi; Stefano Bognanni (Internet Things, 2022)

Modelling human threats in security ceremonies. - Giampaolo Bella; Rosario Giustolisi; Carsten Schürmann 001 (J. Comput. Secur., 2022)

Towards Grammatical Tagging for the Legal Language of Cybersecurity. - Gianpietro Castiglione; Giampaolo Bella; Daniele Francesco Santamaria (ARES, 2023)

The VOCODES Kill Chain for Voice Controllable Devices. - Sergio Esposito; Daniele Sgandurra; Giampaolo Bella (ESORICS Workshops (2), 2023)

Forkfuzz: Leveraging the Fork-Awareness in Coverage-Guided Fuzzing. - Marcello Maugeri; Cristian Daniele; Giampaolo Bella (ESORICS Workshops (2), 2023)

Up-to-Date Threat Modelling for Soft Privacy on Smart Cars. - Mario Raciti; Giampaolo Bella (ESORICS Workshops (1), 2023)

Protecting Voice-Controllable Devices Against Self-Issued Voice Commands. - Sergio Esposito; Daniele Sgandurra; Giampaolo Bella (EuroS&P, 2023)

A Threat Model for Soft Privacy on Smart Cars. - Mario Raciti; Giampaolo Bella (EuroS&P Workshops, 2023)

Evaluating the Fork-Awareness of Coverage-Guided Fuzzers. - Marcello Maugeri; Cristian Daniele; Giampaolo Bella; Erik Poll (ICISSP, 2023)

An Ontological Approach to Compliance Verification of the NIS 2 Directive. - Giampaolo Bella; Gianpietro Castiglione; Daniele Francesco Santamaria (JOWO, 2023)

An Automated Method for the Ontological Representation of Security Directives. - Giampaolo Bella; Gianpietro Castiglione; Daniele Francesco Santamaria (JOWO, 2023)

A Behaviouristic Approach to Representing Processes and Procedures in the OASIS 2 Ontology. - Giampaolo Bella; Gianpietro Castiglione; Daniele Francesco Santamaria (JOWO, 2023)

Smart Bulbs Can Be Hacked to Hack into Your Household. - Davide Bonaventura; Sergio Esposito; Giampaolo Bella (SECRYPT, 2023)

How to Model Privacy Threats in the Automotive Domain. - Mario Raciti; Giampaolo Bella (VEHITS, 2023)

The AILA Methodology for Automated and Intelligent Likelihood Assignment in Risk Assessment. - Giampaolo Bella; Cristian Daniele; Mario Raciti (IEEE Access, 2023)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2. - Giampaolo Bella; Domenico Cantone; Carmelo Fabio Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2023)

The ontology for agents, systems and integration of services: OASIS version 2$. - Giampaolo Bella; Domenico Cantone; Carmelo Fabio Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (Intelligenza Artificiale, 2023)

PETIoT: PEnetration Testing the Internet of Things. - Giampaolo Bella; Pietro Biondi; Stefano Bognanni; Sergio Esposito (Internet Things, 2023)

Modelling the privacy landscape of the Internet of Vehicles. - Ruben Cacciato; Mario Raciti; Sergio Esposito; Giampaolo Bella (ARES, 2024)

User-Empowered Federated Learning in the Automotive Domain. - Marcello Maugeri; Mirko Ignazio Paolo Morana; Sergio Esposito; Giampaolo Bella (Blockchain, 2024)

Compliance-Driven CWE Assessment by Semantic Similarity. - Gianpietro Castiglione; Giampaolo Bella (ESORICS Workshops (2), 2024)

Behind the (Digital Crime) Scenes: An MSC Model. - Mario Raciti; Giampaolo Bella (ISDFS, 2024)

A meta-ontological approach to securing the semantic web data. - Giampaolo Bella; Domenico Cantone; Gianpietro Castiglione; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (JOWO, 2024)

The IoT Breaches Your Household Again. - Davide Bonaventura; Sergio Esposito; Giampaolo Bella (SECRYPT, 2024)

Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum. - Giampaolo Bella; Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (Appl. Ontology, 2024)

Not Sure Your Car Withstands Cyberwarfare. - Giampaolo Bella; Gianpietro Castiglione; Sergio Esposito; Mario Raciti; Salvatore Riccobene (CoRR, 2024)

A behaviouristic semantic approach to blockchain-based e-commerce. - Giampaolo Bella; Domenico Cantone; Gianpietro Castiglione; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (Semantic Web, 2024)

Poster: Machine Learning for Vulnerability Detection as Target Oracle in Automated Fuzz Driver Generation. - Gianpietro Castiglione; Marcello Maugeri; Giampaolo Bella (DIMVA (1), 2025)

From Cluttered to Clustered: Addressing Privacy Threat Explosion through Automated Clustering. - Jonah Bellemans; Mario Raciti; Dimitri Van Landuyt; Laurens Sion; Giampaolo Bella; Lieven Desmet; Wouter Joosen (EuroS&P (Workshops), 2025)

Capillary Static Policy Setup and Multisensory Dynamic Feedback in Modern Cars. - Giampaolo Bella; Sergio Esposito; Mirko Giuseppe Mangano; Mario Raciti (HCI (49), 2025)

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 (IOLTS, 2025)

To See or Not to See: A Privacy Threat Model for Digital Forensics in Crime Investigation. - Mario Raciti; Simone Di Mauro; Dimitri Van Landuyt; Giampaolo Bella (ISDFS, 2025)

PECSo: A Privacy Enhancing Framework for Applications in the Automotive Domain. - Giampaolo Bella; Sergio Esposito; Mirko Giuseppe Mangano; Salvatore Riccobene; Daniele Francesco Santamaria; Gabriele Veneziano Broccia (ITASEC/SERICS, 2025)

A case of smart devices that compromise home cybersecurity. - Davide Bonaventura; Sergio Esposito; Giampaolo Bella (Comput. Secur., 2025)

SecOnto: Ontological Representation of Security Directives. - Gianpietro Castiglione; Giampaolo Bella; Daniele Francesco Santamaria (Comput. Secur., 2025)

Guiding cybersecurity compliance: An ontology for the NIS 2 directive. - Gianpietro Castiglione; Daniele Francesco Santamaria; Giampaolo Bella; Laura Brisindi; Gaetano Puccia (Comput. Secur., 2025)

From Cluttered to Clustered: Addressing Privacy Threat Explosion through Automated Clustering (Supporting materials). - Jonah Bellemans; Mario Raciti; Dimitri Van Landuyt; Laurens Sion; Giampaolo Bella; Lieven Desmet; Wouter Joosen (Zenodo, 2025)

The SPADA methodology for threat modelling. - Mario Raciti; Giampaolo Bella (Int. J. Inf. Sec., 2025)

Hacking Voice-Controllable Devices - Sergio Esposito; Daniele Sgandurra; Giampaolo Bella; Daniel O'Keeffe (Springer, 2026)