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 |
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 |
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 |