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; et al. (TACAS, 2012)

Using Interpolation for the Verification of Security Protocols. - Marco Rocchetto; Luca Viganò 001; Marco Volpe 001; Giacomo Dalle Vedove (STM, 2013)

Model-Based Detection of CSRF. - Marco Rocchetto; Martín Ochoa; Mohammad Torabi Dashti (SEC, 2014)

On Attacker Models and Profiles for Cyber-Physical Systems. - Marco Rocchetto; Nils Ole Tippenhauer (ESORICS (2), 2016)

A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems. - Katia Santacà; Matteo Cristani; Marco Rocchetto; Luca Viganò 001 (EUMAS/AT, 2016)

CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. - Marco Rocchetto; Nils Ole Tippenhauer (ICFEM, 2016)

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection. - Federico De Meo; Marco Rocchetto; Luca Viganò 001 (STM, 2016)

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version). - Federico De Meo; Marco Rocchetto; Luca Viganò 001 (CoRR, 2016)

Towards Formal Security Analysis of Industrial Control Systems. - Marco Rocchetto; Nils Ole Tippenhauer (AsiaCCS, 2017)

An interpolation-based method for the verification of security protocols. - Marco Rocchetto; Luca Viganò 001; Marco Volpe 001 (J. Comput. Secur., 2017)

Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems. - Marco Rocchetto; Alberto Ferrari; Valerio Senni (Resilience of Cyber-Physical Systems, 2019)

The Etiology of Cybersecurity. - Michele Ambrosi; Francesco Beltramini; Federico De Meo; Oliviero Nardi; Mattia Pacchin; Marco Rocchetto (ACNS Workshops, 2022)