Back
  1. Home
  2. Profile of Marco ROCCHETTO (Unilu)
Profil

ROCCHETTO Marco

Main Referenced Co-authors
Tippenhauer, Nils (2)
Cristani, Matteo (1)
SANTACA, Katia  (1)
Viganò, Luca (1)
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
1 downloads
SANTACA, K., Cristani, M., ROCCHETTO, M., & Viganò, L. (2016). A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems. In A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems. https://hdl.handle.net/10993/30940

The most cited

70 citations (OpenAlex)

ROCCHETTO, M., & Tippenhauer, N. (2016). On Attacker Models and Profiles for Cyber-Physical Systems. In On Attacker Models and Profiles for Cyber-Physical Systems. doi:10.1007/978-3-319-45741-3_22 https://hdl.handle.net/10993/30941

ROCCHETTO, M. (2017). Towards Formal Security Analysis of Industrial Control Systems. In Towards Formal Security Analysis of Industrial Control Systems.
Peer reviewed

ROCCHETTO, M., & Tippenhauer, N. (2016). On Attacker Models and Profiles for Cyber-Physical Systems. In On Attacker Models and Profiles for Cyber-Physical Systems. doi:10.1007/978-3-319-45741-3_22
Peer reviewed

SANTACA, K., Cristani, M., ROCCHETTO, M., & Viganò, L. (2016). A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems. In A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems.
Peer reviewed

ROCCHETTO, M., & Tippenhauer, N. (2016). CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. In CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. doi:10.1007/978-3-319-47846-3_12
Peer reviewed

Contact ORBilu