Marco Rocchetto

13 papers A 2C 1Misc 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2022 — conf
The Etiology of Cybersecurity.
ACNS Workshops
Michele Ambrosi, Francesco Beltramini, Federico De Meo, Oliviero Nardi, Mattia Pacchin, Marco Rocchetto
2019 — ch.
Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems.
Resilience of Cyber-Physical Systems
Marco Rocchetto, Alberto Ferrari, Valerio Senni
2017 J jnl
An interpolation-based method for the verification of security protocols.
J. Comput. Secur.
Marco Rocchetto, Luca Viganò, Marco Volpe
2017 A conf
Towards Formal Security Analysis of Industrial Control Systems.
AsiaCCS
Marco Rocchetto, Nils Ole Tippenhauer
2016 — conf
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems.
EUMAS/AT
Katia Santacà, Matteo Cristani, Marco Rocchetto, Luca Viganò
2016 C conf
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions.
ICFEM
Marco Rocchetto, Nils Ole Tippenhauer
2016 J jnl
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions.
CoRR
Marco Rocchetto, Nils Ole Tippenhauer
2016 J jnl
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version).
CoRR
Federico De Meo, Marco Rocchetto, Luca Viganò
2016 — conf
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection.
STM
Federico De Meo, Marco Rocchetto, Luca Viganò
2016 — conf
On Attacker Models and Profiles for Cyber-Physical Systems.
ESORICS (2)
Marco Rocchetto, Nils Ole Tippenhauer
2014 Misc conf
Model-Based Detection of CSRF.
SEC
Marco Rocchetto, Martín Ochoa, Mohammad Torabi Dashti
2013 — conf
Using Interpolation for the Verification of Security Protocols.
STM
Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove
2012 A conf
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.
TACAS
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ò