Marco Rocchetto

According to our database, Marco Rocchetto authored at least 12 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

The Etiology of Cybersecurity.

Michele Ambrosi, Francesco Beltramini, Federico De Meo, Oliviero Nardi, Mattia Pacchin, Marco Rocchetto

Proceedings of the Applied Cryptography and Network Security Workshops, 2022

2019

Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems.

Marco Rocchetto, Alberto Ferrari, Valerio Senni

Proceedings of the Resilience of Cyber-Physical Systems, 2019

2017

An interpolation-based method for the verification of security protocols.

Marco Rocchetto, Luca Viganò, Marco Volpe

J. Comput. Secur., 2017

Towards Formal Security Analysis of Industrial Control Systems.

Marco Rocchetto, Nils Ole Tippenhauer

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

2016

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version).

Federico De Meo, Marco Rocchetto, Luca Viganò

CoRR, 2016

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection.

Federico De Meo, Marco Rocchetto, Luca Viganò

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions.

Marco Rocchetto, Nils Ole Tippenhauer

Proceedings of the Formal Methods and Software Engineering, 2016

A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems.

Katia Santacà, Matteo Cristani, Marco Rocchetto, Luca Viganò

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

On Attacker Models and Profiles for Cyber-Physical Systems.

Marco Rocchetto, Nils Ole Tippenhauer

Proceedings of the Computer Security - ESORICS 2016, 2016

2014

Model-Based Detection of CSRF.

Marco Rocchetto, Martín Ochoa, Mohammad Torabi Dashti

Proceedings of the ICT Systems Security and Privacy Protection, 2014

2013

Using Interpolation for the Verification of Security Protocols.

Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove

Proceedings of the Security and Trust Management - 9th International Workshop, 2013

2012

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012