Federico De Meo

According to our database, Federico De Meo authored at least 7 papers between 2016 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

2020

A formal and automated approach to exploiting multi-stage attacks of web applications.

Federico De Meo, Luca Viganò

J. Comput. Secur., 2020

2018

MobSTer: A model-based security testing framework for web applications.

Michele Peroli, Federico De Meo, Luca Viganò, Davide Guardini

Softw. Test. Verification Reliab., 2018

2017

A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version).

Federico De Meo, Luca Viganò

CoRR, 2017

A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications.

Federico De Meo, Luca Viganò

Proceedings of the Engineering Secure Software and Systems - 9th International Symposium, 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