Marco Rocchetto

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 9

Top Topics

Formal Analysis

Resource Utilization

Security Protocols

Top Venues

Publications

Michele Ambrosi, Francesco Beltramini, Federico De Meo, Oliviero Nardi, Mattia Pacchin, Marco Rocchetto
The Etiology of Cybersecurity. ACNS Workshops (2022)
Marco Rocchetto, Nils Ole Tippenhauer
Towards Formal Security Analysis of Industrial Control Systems. AsiaCCS (2017)
Marco Rocchetto, Luca Viganò, Marco Volpe
An interpolation-based method for the verification of security protocols. J. Comput. Secur. 25 (6) (2017)
Marco Rocchetto, Nils Ole Tippenhauer
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. CoRR (2016)
Marco Rocchetto, Nils Ole Tippenhauer
On Attacker Models and Profiles for Cyber-Physical Systems. ESORICS (2) (2016)
Marco Rocchetto, Nils Ole Tippenhauer
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. ICFEM (2016)
Katia Santacà, Matteo Cristani, Marco Rocchetto, Luca Viganò
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems. EUMAS/AT (2016)
Federico De Meo, Marco Rocchetto, Luca Viganò
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection. STM (2016)
Federico De Meo, Marco Rocchetto, Luca Viganò
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version). CoRR (2016)
Marco Rocchetto, Martín Ochoa, Mohammad Torabi Dashti
Model-Based Detection of CSRF. SEC (2014)
Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove
Using Interpolation for the Verification of Security Protocols. STM (2013)
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)