Luca Arnaboldi

According to our database, Luca Arnaboldi authored at least 20 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

NLP Verification: Towards a General Methodology for Certifying Robustness.

Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, 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.

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya

CoRR, 2024

2023

Garbage in, toxic data out: a proposal for ethical artificial intelligence sustainability impact statements.

Ronny Bogani, Andreas Theodorou, Luca Arnaboldi, Robert H. Wortham

AI Ethics, November, 2023

A generic methodology for the statistically uniform & comparable evaluation of Automated Trading Platform components.

Artur Sokolovsky, Luca Arnaboldi

Expert Syst. Appl., August, 2023

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.

Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya

CoRR, 2023

Tactics for Account Access Graphs.

Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic

Proceedings of the Computer Security - ESORICS 2023, 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

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Why Robust Natural Language Understanding is a Challenge.

Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke

CoRR, 2022

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers.

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya

CoRR, 2022

Towards Interdependent Safety Security Assessments Using Bowties.

Luca Arnaboldi, David Aspinall

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

Automating Cryptographic Protocol Language Generation from Structured Specifications.

Roberto Metere, Luca Arnaboldi

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

MetaCP: Cryptographic Protocol Design Tool for Formal Verification.

Roberto Metere, Luca Arnaboldi

CoRR, 2021

A Review of Intrusion Detection Systems and Their Evaluation in the IoT.

Luca Arnaboldi, Charles Morisset

CoRR, 2021

Interpretable ML-driven Strategy for Automated Trading Pattern Extraction.

Artur Sokolovsky, Luca Arnaboldi, Jaume Bacardit, Thomas Gross

CoRR, 2021

2020

Machine Learning Classification of Price Extrema Based on Market Microstructure Features: A Case Study of S&P500 E-mini Futures.

Artur Sokolovsky, Luca Arnaboldi

CoRR, 2020

2019

Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols.

Luca Arnaboldi, Roberto Metere

CoRR, 2019

Modelling Load-Changing Attacks in Cyber-Physical Systems.

Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere

Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019

Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols.

Luca Arnaboldi, Roberto Metere

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT.

Luca Arnaboldi, Charles Morisset

Proceedings of the Software Technologies: Applications and Foundations, 2018

2017

Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems.

Luca Arnaboldi, Charles Morisset

Proceedings of the Security and Trust Management - 13th International Workshop, 2017