SCy-Phy
SCy-Phy
Home
People
Featured Publications
Publications
Light
Dark
Automatic
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
×