Nils Ole Tippenhauer
Nils Ole Tippenhauer
Home
News
Publications
Service
Contact
Marco Rocchetto
Latest
Towards Formal Security Analysis of Industrial Control Systems
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
On Attacker Models and Profiles for Cyber-Physical Systems
Cite
×