5 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LG2022★ 3 cited
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…
cs.CR2021★ 5 cited
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…
cs.CR2019
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…