activity
20142026
most citedDetection of Unauthorized IoT Devices Using Machine Learning Techniques

198 citations · 364 across the 22 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.CR2016★ 4 cited

CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions

Marco Rocchetto, Nils Ole Tippenhauer

We propose extensions to the Dolev-Yao attacker model to make it suitable for arguments about security of Cyber-Physical Systems. The Dolev-Yao attacker model uses a set of rules t…