most citedFormal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version)

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CR2016★ 1 cited

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

Federico De Meo, Marco Rocchetto, Luca Viganò

We present a formal approach that exploits attacks related to SQL Injection (SQLi) searching for security flaws in a web application. We give a formal representation of web applica…