Luca Arnaboldi

32 papers A* 1B 2Journal 18Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication. CoRR Roberto Metere, Mario Lilli, Luca Arnaboldi, Elvinia Riccobene
2025	J	`jnl`	3S-Attack: Spatial, Spectral and Semantic Invisible Backdoor Attack Against DNN Models. CoRR Jianyao Yin, Luca Arnaboldi, Honglong Chen, Pascal Berrang
2025	—	`conf`	From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security. SAFECOMP (Workshops) Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic
2025	B	`conf`	Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk). FSCD Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi
2025	—	`conf`	WIP: Blurred Lines - A GDPR-Compliant Framework for Anonymising Automotive Video Data. VehicleSec Rithwik Vinod, Luca Arnaboldi
2024	—	`conf`	Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems. MECO Roberto Metere, Ricardo M. Czekster, Luca Arnaboldi
2024	J	`jnl`	NLP Verification: Towards a General Methodology for Certifying Robustness. CoRR Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
2024	J	`jnl`	Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. CoRR Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
2023	J	`jnl`	A generic methodology for the statistically uniform & comparable evaluation of Automated Trading Platform components. Expert Syst. Appl. Artur Sokolovsky, Luca Arnaboldi
2023	—	`conf`	ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. FoMLAS@CAV Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
2023	J	`jnl`	ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. CoRR Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
2023	B	`conf`	Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. CPP Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
2023	J	`jnl`	Garbage in, toxic data out: a proposal for ethical artificial intelligence sustainability impact statements. AI Ethics Ronny Bogani, Andreas Theodorou, Luca Arnaboldi, Robert H. Wortham
2023	—	`conf`	Tactics for Account Access Graphs. ESORICS (3) Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic
2023	—	`conf`	The Vehicle Tutorial: Neural Network Verification with Vehicle. FoMLAS@CAV Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
2022	—	`conf`	Automating Cryptographic Protocol Language Generation from Structured Specifications. FormaliSE@ICSE Roberto Metere, Luca Arnaboldi
2022	—	`conf`	Towards Interdependent Safety Security Assessments Using Bowties. SAFECOMP Workshops Luca Arnaboldi, David Aspinall
2022	J	`jnl`	Towards Interdependent Safety Security Assessments using Bowties. CoRR Luca Arnaboldi, David Aspinall
2022	J	`jnl`	Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers. CoRR Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya
2022	J	`jnl`	Why Robust Natural Language Understanding is a Challenge. CoRR Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
2021	J	`jnl`	A Review of Intrusion Detection Systems and Their Evaluation in the IoT. CoRR Luca Arnaboldi, Charles Morisset
2021	J	`jnl`	Interpretable ML-driven Strategy for Automated Trading Pattern Extraction. CoRR Artur Sokolovsky, Luca Arnaboldi, Jaume Bacardit, Thomas Gross
2021	J	`jnl`	MetaCP: Cryptographic Protocol Design Tool for Formal Verification. CoRR Roberto Metere, Luca Arnaboldi
2020	J	`jnl`	Machine Learning Classification of Price Extrema Based on Market Microstructure Features: A Case Study of S&P500 E-mini Futures. CoRR Artur Sokolovsky, Luca Arnaboldi
2019	J	`jnl`	Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT. CoRR Luca Arnaboldi, Charles Morisset
2019	—	`conf`	Modelling Load-Changing Attacks in Cyber-Physical Systems. PASM Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere
2019	J	`jnl`	Modelling Load-Changing Attacks in Cyber-Physical Systems. CoRR Luca Arnaboldi, Ricardo M. Czekster, Roberto Metere, Charles Morisset
2019	A*	`conf`	Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. CCS Luca Arnaboldi, Roberto Metere
2019	J	`jnl`	Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. CoRR Luca Arnaboldi, Roberto Metere
2018	—	`conf`	Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT. STAF Workshops Luca Arnaboldi, Charles Morisset
2017	—	`conf`	Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems. STM Luca Arnaboldi, Charles Morisset
2017	J	`jnl`	Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems. CoRR Luca Arnaboldi, Charles Morisset