Follow
Luca Arnaboldi
Title
Cited by
Cited by
Year
Modelling Load-Changing Attacks in Cyber-Physical Systems
L Arnaboldi, RM Czekster, C Morisset, R Metere
Electronic Notes in Theoretical Computer Science 353, 39-60, 2020
272020
Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT
L Arnaboldi, C Morisset
Federation of International Conferences on Software Technologies …, 2018
112018
A Formal Model for Delegated Authorization of IoT Devices Using ACE-OAuth
L Arnaboldi, H Tschofenig
4th OAuth Security Workshop 2019 (OSW 2019), 2019
102019
Quantitative Analysis of DoS Attacks and Client Puzzles in IoT systems
L Arnaboldi, C Morisset
International Workshop on Security and Trust Management, 224-233, 2017
102017
Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively
ML Daggitt, R Atkey, W Kokke, E Komendantskaya, L Arnaboldi
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
72023
Interpretable Trading Pattern Designed for Machine Learning Applications
A Sokolovsky, L Arnaboldi, J Bacardit, T Gross
Machine Learning with Applications, 100448, 2023
6*2023
A Review of Intrusion Detection Systems and their Evaluation in the IoT
L Arnaboldi, C Morisset
arXiv preprint arXiv:2105.08096, 2021
62021
Poster: Towards a data centric approach for the design and verification of cryptographic protocols
L Arnaboldi, R Metere
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
52019
The Vehicle Tutorial: Neural Network Verification with Vehicle
M Daggitt, W Kokke, E Komendantskaya, R Atkey, L Arnaboldi, N Slusarz, ...
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous …, 2023
42023
A generic methodology for the statistically uniform & comparable evaluation of Automated Trading Platform components
A Sokolovsky, L Arnaboldi
Expert Systems with Applications 223, 119836, 2023
4*2023
Garbage in, toxic data out: a proposal for ethical artificial intelligence sustainability impact statements
R Bogani, A Theodorou, L Arnaboldi, RH Wortham
AI and Ethics, 1, 2022
42022
Automating Cryptographic Protocol Language Generation from Structured Specifications
R Metere, L Arnaboldi
2022 IEEE/ACM 10th International Conference on Formal Methods in Software …, 2022
42022
Escaping mediocrity: how two-layer networks learn hard single-index models with SGD
L Arnaboldi, F Krzakala, B Loureiro, L Stephan
arXiv preprint arXiv:2305.18502, 2023
32023
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
ML Daggitt, W Kokke, R Atkey, L Arnaboldi, E Komendantskaya
arXiv preprint arXiv:2202.05207, 2022
32022
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
M Casadio, L Arnaboldi, ML Daggitt, O Isac, T Dinkar, D Kienitz, V Rieser, ...
arXiv preprint arXiv:2305.04003, 2023
22023
Towards interdependent safety security assessments using bowties
L Arnaboldi, D Aspinall
International Conference on Computer Safety, Reliability, and Security, 211-229, 2022
22022
LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems
L Arnaboldi, C Morisset
Workshop on Foundations of Computer Security 2018, 2018
22018
The Benefits of Reusing Batches for Gradient Descent in Two-Layer Networks: Breaking the Curse of Information and Leap Exponents
Y Dandi, E Troiani, L Arnaboldi, L Pesce, L Zdeborová, F Krzakala
arXiv preprint arXiv:2402.03220, 2024
12024
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
ML Daggitt, W Kokke, R Atkey, N Slusarz, L Arnaboldi, ...
arXiv preprint arXiv:2401.06379, 2024
12024
NLP Verification: Towards a General Methodology for Certifying Robustness
M Casadio, T Dinkar, E Komendantskaya, L Arnaboldi, O Isac, ML Daggitt, ...
arXiv preprint arXiv:2403.10144, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20