Luca Arnaboldi

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 21

Top Topics

Cryptographic Protocols

Formal Verification

Top Venues

Publications

Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. CPP (2023)
Luca Arnaboldi, Ludovic Stephan, Florent Krzakala, Bruno Loureiro
From high-dimensional & mean-field dynamics to dimensionless ODEs: A unifying approach to SGD in two-layers networks. CoRR (2023)
Luca Arnaboldi, David Aspinall
Towards Interdependent Safety Security Assessments Using Bowties. SAFECOMP Workshops (2022)
Luca Arnaboldi, David Aspinall
Towards Interdependent Safety Security Assessments using Bowties. CoRR (2022)
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers. CoRR (2022)
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
Why Robust Natural Language Understanding is a Challenge. CoRR (2022)
Roberto Metere, Luca Arnaboldi
Automating Cryptographic Protocol Language Generation from Structured Specifications. FormaliSE@ICSE (2022)
Artur Sokolovsky, Luca Arnaboldi, Jaume Bacardit, Thomas Gross
Interpretable ML-driven Strategy for Automated Trading Pattern Extraction. CoRR (2021)
Roberto Metere, Luca Arnaboldi
MetaCP: Cryptographic Protocol Design Tool for Formal Verification. CoRR (2021)
Luca Arnaboldi, Charles Morisset
A Review of Intrusion Detection Systems and Their Evaluation in the IoT. CoRR (2021)
Artur Sokolovsky, Luca Arnaboldi
Machine Learning Classification of Price Extrema Based on Market Microstructure Features: A Case Study of S&P500 E-mini Futures. CoRR (2020)
Daniele Loiacono, Luca Arnaboldi
Multiobjective Evolutionary Map Design for Cube 2: Sauerbraten. IEEE Trans. Games 11 (1) (2019)
Luca Arnaboldi, Roberto Metere
Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. CoRR (2019)
Luca Arnaboldi, Roberto Metere
Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. CCS (2019)
Luca Arnaboldi, Ricardo M. Czekster, Roberto Metere, Charles Morisset
Modelling Load-Changing Attacks in Cyber-Physical Systems. CoRR (2019)
Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere
Modelling Load-Changing Attacks in Cyber-Physical Systems. PASM (2019)
Luca Arnaboldi, Charles Morisset
Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT. CoRR (2019)
Luca Arnaboldi, Charles Morisset
Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT. STAF Workshops (2018)
Daniele Loiacono, Luca Arnaboldi
Fight or flight: Evolving maps for cube 2 to foster a fleeing behavior. CIG (2017)
Luca Arnaboldi, Charles Morisset
Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems. CoRR (2017)
Luca Arnaboldi, Charles Morisset
Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems. STM (2017)