引用次数
引用: 154
H-指数: 8
I10-指数 : 6
出版物: 30
Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems
Charles Morisset , Luca Arnaboldi
international workshop on security 224 -233
5
2017
Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols
Luca Arnaboldi , Roberto Metere
computer and communications security 2585 -2587
1
2019
Modelling Load-Changing Attacks in Cyber-Physical Systems
Luca Arnaboldi , Ricardo M. Czekster , Charles Morisset , Roberto Metere
Electronic Notes in Theoretical Computer Science 353 39 -60
3
2020
Interpretable trading pattern designed for machine learning applications
Artur Sokolovsky , Luca Arnaboldi , Jaume Bacardit , Thomas Gross
Machine Learning with Applications 11 100448
2023
NLP Verification: Towards a General Methodology for Certifying Robustness
Marco Casadio , Tanvi Dinkar , Ekaterina Komendantskaya , Luca Arnaboldi
arXiv preprint arXiv:2403.10144
2024
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Marco Casadio , Luca Arnaboldi , Matthew L Daggitt , Omri Isac
arXiv preprint arXiv:2305.04003
2
2023
Wehrheim, Heike 113
Luca Arnaboldi , Levente Bajczi , Marcello M Bersani , Richard Bubel
The Benefits of Reusing Batches for Gradient Descent in Two-Layer Networks: Breaking the Curse of Information and Leap Exponents
Yatin Dandi , Emanuele Troiani , Luca Arnaboldi , Luca Pesce
arXiv preprint arXiv:2402.03220
7
2024
Escaping mediocrity: how two-layer networks learn hard single-index models with SGD
Luca Arnaboldi , Florent Krzakala , Bruno Loureiro , Ludovic Stephan
arXiv preprint arXiv:2305.18502
5
2023
Online Learning and Information Exponents: On The Importance of Batch size, and Time/Complexity Tradeoffs
Luca Arnaboldi , Yatin Dandi , Florent Krzakala , Bruno Loureiro
arXiv preprint arXiv:2406.02157
1
2024
Repetita Iuvant: Data Repetition Allows SGD to Learn High-Dimensional Multi-Index Functions
Luca Arnaboldi , Yatin Dandi , Florent Krzakala , Luca Pesce
arXiv preprint arXiv:2405.15459
1
2024
Automating cryptographic protocol language generation from structured specifications
Roberto Metere , Luca Arnaboldi
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) 91 -101
4
2022
Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively
Matthew L Daggitt , Robert Atkey , Wen Kokke , Ekaterina Komendantskaya
102 -120
7
2023
The Vehicle Tutorial: Neural Network Verification with Vehicle
Matthew Daggitt , Wen Kokke , Ekaterina Komendantskaya , Robert Atkey
The Kalpa Publications in Computing, https://easychair.org/publications/paper/Rkrv 16
4
2023
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
Matthew L Daggitt , Wen Kokke , Robert Atkey , Natalia Slusarz
arXiv preprint arXiv:2401.06379
1
2024
Tactics for Account Access Graphs
Luca Arnaboldi , David Aspinall , Christina Kolb , Saša Radomirović
Springer Nature Switzerland 452 -470
2023
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Matthew L Daggitt , Wen Kokke , Robert Atkey , Luca Arnaboldi
arXiv preprint arXiv:2202.05207
4
2022
Towards interdependent safety security assessments using bowties
Luca Arnaboldi , David Aspinall
Springer International Publishing 211 -229
2
2022
Generating synthetic data for real world detection of DoS attacks in the IoT
Luca Arnaboldi , Charles Morisset
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers 130 -145
11
2018
A review of intrusion detection systems and their evaluation in the IoT
Luca Arnaboldi , Charles Morisset
arXiv preprint arXiv:2105.08096
6
2021