Luca Arnaboldi

University of Birmingham — United Kingdom

Decision Sciences · Social Sciences

5h-index75citations37works0.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Stock Market Forecasting Methods(11), Adversarial Robustness in Machine Learning(8), User Authentication and Security Systems(6), Explainable Artificial Intelligence (XAI)(6), Financial Markets and Investment Strategies(5)

Publications37 total

From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security
Lecture notes in computer science·2025Open Access
3S-Attack: Spatial, Spectral and Semantic Invisible Backdoor Attack Against DNN Models
arXiv (Cornell University)·2025Open Access
NLP verification: towards a general methodology for certifying robustness
European Journal of Applied Mathematics·2025· 1 citedOpen Access
Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems
2024
NLP Verification: Towards a General Methodology for Certifying Robustness
arXiv (Cornell University)·2024Open Access
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
arXiv (Cornell University)·2024· 3 citedOpen Access
Tactics for Account Access Graphs
Lecture notes in computer science·2024· 1 citedOpen Access
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Kalpa publications in computing·2023· 3 citedOpen Access
The Vehicle Tutorial: Neural Network Verification with Vehicle
Kalpa publications in computing·2023· 4 citedOpen Access
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
arXiv (Cornell University)·2023Open Access
A generic methodology for the statistically uniform & comparable evaluation of Automated Trading Platform components
Expert Systems with Applications·2023· 3 citedOpen Access
Interpretable trading pattern designed for machine learning applications
Machine Learning with Applications·2023· 10 citedOpen Access
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively
2023· 4 citedOpen Access
Garbage in, toxic data out: a proposal for ethical artificial intelligence sustainability impact statements
AI and Ethics·2022· 9 citedOpen Access
Towards Interdependent Safety Security Assessments using Bowties
arXiv (Cornell University)·2022Open Access
Why Robust Natural Language Understanding is a Challenge
arXiv (Cornell University)·2022Open Access
Automating cryptographic protocol language generation from structured specifications
2022· 5 cited
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
arXiv (Cornell University)·2022· 3 citedOpen Access
Towards Interdependent Safety Security Assessments Using Bowties
Lecture notes in computer science·2022· 4 citedOpen Access
A Generic Methodology for the Statistically Uniform & Comparable Evaluation of Automated Trading Platform Components
SSRN Electronic Journal·2022Open Access
page 1 of 2Next →

Frequent Co-authors

Artur Sokolovsky(12), Matthew L. Daggitt(10), Ekaterina Komendantskaya(9), Roberto Metere(7), Jaume Bacardit(6), Thomas Groß(6), Wen Kokke(5), Marco Casadio(5), Verena Rieser(5), David Aspinall(4), Robert Atkey(4), Omri Isac(4), Tanvi Dinkar(4), C. Morisset(3), Daniel Kienitz(3), Natalia Slusarz(2), Ricardo M. Czekster(2), Christina Kolb(2), Saša Radomirović(2), Guy Katz(2)