Number of items: 3.
Conference or Workshop Item (A Paper)
Rocchetto, Marco and Tippenhauer, Nils Ole
(2017)
Towards Formal Security Analysis of Industrial Control Systems.
Rocchetto, Marco and Tippenhauer, Nils Ole
(2016)
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions.
Rocchetto, Marco and Tippenhauer, Nils Ole
(2016)
On Attacker Models and Profiles for Cyber-Physical Systems.
This list was generated on Wed Jul 3 05:25:50 2024 CEST.