Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems. - Luca Arnaboldi 001; Charles Morisset (STM, 2017)

Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT. - Luca Arnaboldi 001; Charles Morisset (STAF Workshops, 2018)

Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. - Luca Arnaboldi 001; Roberto Metere (CCS, 2019)

Modelling Load-Changing Attacks in Cyber-Physical Systems. - Luca Arnaboldi 001; Ricardo M. Czekster; Charles Morisset; Roberto Metere (PASM, 2019)

Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. - Luca Arnaboldi 001; Roberto Metere (CoRR, 2019)

Machine Learning Classification of Price Extrema Based on Market Microstructure Features: A Case Study of S&P500 E-mini Futures. - Artur Sokolovsky; Luca Arnaboldi 001 (CoRR, 2020)

Interpretable ML-driven Strategy for Automated Trading Pattern Extraction. - Artur Sokolovsky; Luca Arnaboldi 001; Jaume Bacardit; Thomas Gross 001 (CoRR, 2021)

A Review of Intrusion Detection Systems and Their Evaluation in the IoT. - Luca Arnaboldi 001; Charles Morisset (CoRR, 2021)

MetaCP: Cryptographic Protocol Design Tool for Formal Verification. - Roberto Metere; Luca Arnaboldi 001 (CoRR, 2021)

Automating Cryptographic Protocol Language Generation from Structured Specifications. - Roberto Metere; Luca Arnaboldi 001 (FormaliSE@ICSE, 2022)

Towards Interdependent Safety Security Assessments Using Bowties. - Luca Arnaboldi 001; David Aspinall 001 (SAFECOMP Workshops, 2022)

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers. - Matthew L. Daggitt; Wen Kokke; Robert Atkey; Luca Arnaboldi 001; Ekaterina Komendantskaya (CoRR, 2022)

Why Robust Natural Language Understanding is a Challenge. - Marco Casadio; Ekaterina Komendantskaya; Verena Rieser; Matthew L. Daggitt; Daniel Kienitz; Luca Arnaboldi 001; Wen Kokke (CoRR, 2022)

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. - Marco Casadio; Luca Arnaboldi 001; Matthew L. Daggitt; Omri Isac; Tanvi Dinkar; Daniel Kienitz; Verena Rieser; Ekaterina Komendantskaya (FoMLAS@CAV, 2023)

The Vehicle Tutorial: Neural Network Verification with Vehicle. - Matthew L. Daggitt; Wen Kokke; Ekaterina Komendantskaya; Robert Atkey; Luca Arnaboldi 001; Natalia Slusarz; Marco Casadio; Ben Coke; Jeonghyeon Lee (FoMLAS@CAV, 2023)

Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. - Matthew L. Daggitt; Robert Atkey; Wen Kokke; Ekaterina Komendantskaya; Luca Arnaboldi 001 (CPP, 2023)

Tactics for Account Access Graphs. - Luca Arnaboldi 001; David Aspinall 001; Christina Kolb; Sasa Radomirovic (ESORICS (3), 2023)

A generic methodology for the statistically uniform & comparable evaluation of Automated Trading Platform components. - Artur Sokolovsky; Luca Arnaboldi 001 (Expert Syst. Appl., 2023)

Garbage in, toxic data out: a proposal for ethical artificial intelligence sustainability impact statements. - Ronny Bogani; Andreas Theodorou; Luca Arnaboldi 001; Robert H. Wortham (AI Ethics, 2023)

Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems. - Roberto Metere; Ricardo M. Czekster; Luca Arnaboldi 001 (MECO, 2024)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. - Matthew L. Daggitt; Wen Kokke; Robert Atkey; Natalia Slusarz; Luca Arnaboldi 001; Ekaterina Komendantskaya (CoRR, 2024)

NLP Verification: Towards a General Methodology for Certifying Robustness. - Marco Casadio; Tanvi Dinkar; Ekaterina Komendantskaya; Luca Arnaboldi 001; Omri Isac; Matthew L. Daggitt; Guy Katz; Verena Rieser; Oliver Lemon (CoRR, 2024)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk). - Matthew L. Daggitt; Wen Kokke; Robert Atkey; Ekaterina Komendantskaya; Natalia Slusarz; Luca Arnaboldi 001 (FSCD, 2025)

From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security. - Luca Arnaboldi 001; David Aspinall 001; Christina Kolb; Sasa Radomirovic (SAFECOMP (Workshops), 2025)

WIP: Blurred Lines - A GDPR-Compliant Framework for Anonymising Automotive Video Data. - Rithwik Vinod; Luca Arnaboldi 001 (VehicleSec, 2025)

3S-Attack: Spatial, Spectral and Semantic Invisible Backdoor Attack Against DNN Models. - Jianyao Yin; Luca Arnaboldi 001; Honglong Chen; Pascal Berrang (CoRR, 2025)