activity
20192023
most citedA Review of Intrusion Detection Systems and Their Evaluation in the IoT

5 citations · 8 across the 6 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

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…