References of "Rocchetto, Marco 50024458"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailTowards Formal Security Analysis of Industrial Control Systems
Rocchetto, Marco UL

in Towards Formal Security Analysis of Industrial Control Systems (2017)

Detailed reference viewed: 122 (8 UL)
Full Text
Peer Reviewed
See detailCPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
Rocchetto, Marco UL; Tippenhauer, Nils

in CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions (2016)

Detailed reference viewed: 149 (0 UL)
Full Text
Peer Reviewed
See detailA Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems
Santaca, Katia UL; Cristani, Matteo; Rocchetto, Marco UL et al

in A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems (2016)

Detailed reference viewed: 87 (2 UL)
Full Text
Peer Reviewed
See detailOn Attacker Models and Profiles for Cyber-Physical Systems
Rocchetto, Marco UL; Tippenhauer, Nils

in On Attacker Models and Profiles for Cyber-Physical Systems (2016)

Detailed reference viewed: 157 (0 UL)