9 citations · 17 across the 10 of their papers we have counts for
10 papers
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt +5
Verification of machine learning models used in Natural Language Processing (NLP) is known to be a hard problem. In particular, many known neural network verification methods that…
Towards Interdependent Safety Security Assessments using Bowties
Luca Arnaboldi, David Aspinall
We present a way to combine security and safety assessments using Bowtie Diagrams. Bowties model both the causes leading up to a central failure event and consequences which arise…
Why Robust Natural Language Understanding is a Challenge
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser +4
With the proliferation of Deep Machine Learning into real-life applications, a particular property of this technology has been brought to attention: robustness Neural Networks noto…
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Matthew L. Daggitt, Wen Kokke, Robert Atkey +2
Verification of neural networks is currently a hot topic in automated theorem proving. Progress has been rapid and there are now a wide range of tools available that can verify pro…
A Review of Intrusion Detection Systems and Their Evaluation in the IoT
Luca Arnaboldi, Charles Morisset
Intrusion Detection Systems (IDS) are key components for securing critical infrastructures, capable of detecting malicious activities on networks or hosts. The procedure of impleme…
Automating Cryptographic Protocol Language Generation from Structured Specifications
Roberto Metere, Luca Arnaboldi
Security of cryptographic protocols can be analysed by creating a model in a formal language and verifying the model in a tool. All such tools focus on the last part of the analysi…
Volume-Centred Range Bars: Novel Interpretable Representation of Financial Markets Designed for Machine Learning Applications
Artur Sokolovsky, Luca Arnaboldi, Jaume Bacardit +1
Financial markets are a source of non-stationary multidimensional time series which has been drawing attention for decades. Each financial instrument has its specific changing-over…
A Generic Methodology for the Statistically Uniform & Comparable Evaluation of Automated Trading Platform Components
Artur Sokolovsky, Luca Arnaboldi
Although machine learning approaches have been widely used in the field of finance, to very successful degrees, these approaches remain bespoke to specific investigations and opaqu…
Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols
Luca Arnaboldi, Roberto Metere
We propose MetaCP, a Meta Cryptography Protocol verification tool, as an automated tool simplifying the design of security protocols through a graphical interface. The graphical in…
Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT
Luca Arnaboldi, Charles Morisset
Denial of service attacks are especially pertinent to the internet of things as devices have less computing power, memory and security mechanisms to defend against them. The task o…