5 citations · 8 across the 6 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2022
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…
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…