Federico De Meo
2019
2019-06-10
Web Application Formal Exploiter: a formal and automated approach to exploit multiple vulnerabilities of web applications