Federico De Meo

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 7

Top Topics

Formal Analysis

Web Applications

Top Venues

Softw. Test. Verification Reliab.

Publications

Michele Ambrosi, Francesco Beltramini, Federico De Meo, Oliviero Nardi, Mattia Pacchin, Marco Rocchetto
The Etiology of Cybersecurity. ACNS Workshops (2022)
Federico De Meo, Luca Viganò
A formal and automated approach to exploiting multi-stage attacks of web applications. J. Comput. Secur. 28 (5) (2020)
Michele Peroli, Federico De Meo, Luca Viganò, Davide Guardini
MobSTer: A model-based security testing framework for web applications. Softw. Test. Verification Reliab. 28 (8) (2018)
Federico De Meo, Luca Viganò
A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications. ESSoS (2017)
Federico De Meo, Luca Viganò
A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version). CoRR (2017)
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)