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
62020
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
62017
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
52018
A Formal Model for Delegated Authorization of IoT Devices Using ACE-OAuth
L Arnaboldi, H Tschofenig
4th OAuth Security Workshop 2019 (OSW 2019), 2019
42019
A Review of Intrusion Detection Systems and Their Evaluation in the IoT
L Arnaboldi, C Morisset
arXiv preprint arXiv:2105.08096, 2021
12021
Machine Learning Classification of Price Extrema Based on Market Microstructure Features: A Case Study of S&P500 E-mini Futures
A Sokolovsky, L Arnaboldi
arXiv preprint arXiv:2009.09993, 2020
12020
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
12019
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
12018
MetaCP: Cryptographic Protocol Design Tool for Formal Verification
R Metere, L Arnaboldi
arXiv preprint arXiv:2105.09150, 2021
2021
Explainable Machine Learning-driven Strategy for Automated Trading Pattern Extraction
A Sokolovsky, L Arnaboldi, J Bacardit, T Gross
arXiv preprint arXiv:2103.12419, 2021
2021
Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols
L Arnaboldi, R Metere
arXiv preprint arXiv:1910.02656, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–11