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)

A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications. - Federico De Meo; Luca Viganò 001 (ESSoS, 2017)

A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version). - Federico De Meo; Luca Viganò 001 (CoRR, 2017)

MobSTer: A model-based security testing framework for web applications. - Michele Peroli; Federico De Meo; Luca Viganò 001; Davide Guardini (Softw. Test. Verification Reliab., 2018)

A formal and automated approach to exploiting multi-stage attacks of web applications. - Federico De Meo; Luca Viganò 001 (J. Comput. Secur., 2020)

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