Posts

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