| 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 | 26 | 2020 |
| 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 | 10 | 2018 |
| 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 | 10 | 2017 |
| A Formal Model for Delegated Authorization of IoT Devices Using ACE-OAuth L Arnaboldi, H Tschofenig 4th OAuth Security Workshop 2019 (OSW 2019), 2019 | 8 | 2019 |
| A Review of Intrusion Detection Systems and their Evaluation in the IoT L Arnaboldi, C Morisset arXiv preprint arXiv:2105.08096, 2021 | 6 | 2021 |
| 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 | 5 | 2019 |
| 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 |
| Interpretable Trading Pattern Designed for Machine Learning Applications A Sokolovsky, L Arnaboldi, J Bacardit, T Gross Machine Learning with Applications, 100448, 2023 | 4* | 2023 |
| 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 | 3 | 2023 |
| Automating Cryptographic Protocol Language Generation from Structured Specifications R Metere, L Arnaboldi 2022 IEEE/ACM 10th International Conference on Formal Methods in Software …, 2022 | 3 | 2022 |
| 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 | 2 | 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 | 2 | 2022 |
| 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 | 2 | 2022 |
| 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 | 2 | 2018 |
| Towards Interdependent Safety Security Assessments Using Bowties L Arnaboldi, D Aspinall International Conference on Computer Safety, Reliability, and Security, 211-229, 2022 | 1 | 2022 |
| 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 | | 2023 |
| 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 | | 2023 |
| Formalising Criminal Law in Catala L ARNABOLDI, D ASPINALL, R BOGANI, B SCHAFER, J PROTZENKO, ... Workshop on Programming Languages and the Law (PROLALA), 2023 | | 2023 |
| Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks ML Daggitt, W Kokke, R Atkey, L Arnaboldi, E Komendantskaya 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2022 | | 2022 |
| Why Robust Natural Language Understanding is a Challenge M Casadio, E Komendantskaya, V Rieser, ML Daggitt, D Kienitz, ... 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2022 | | 2022 |
Charles MorissetReader in Security, Newcastle UniversityVerified email at ncl.ac.uk
