Marco Rocchetto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2012–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ACNS | The Etiology of Cybersecurity. | Michele Ambrosi, Francesco Beltramini, Federico De Meo, Oliviero Nardi, Mattia Pacchin, Marco Rocchetto |
| 2017 | CCS | Towards Formal Security Analysis of Industrial Control Systems. | Marco Rocchetto, Nils Ole Tippenhauer |
| 2016 | ESORICS | On Attacker Models and Profiles for Cyber-Physical Systems. | Marco Rocchetto, Nils Ole Tippenhauer |
| 2016 | EUMAS | A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems. | Katia Santac, Matteo Cristani, Marco Rocchetto, Luca Vigan |
| 2016 | ICFEM | CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. | Marco Rocchetto, Nils Ole Tippenhauer |
| 2014 | SEC | Model-Based Detection of CSRF. | Marco Rocchetto, Martn Ochoa, Mohammad Torabi Dashti |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |