Federico De Meo, Luca Viganò 0001. A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications. In Eric Bodden, Mathias Payer, Elias Athanasopoulos, editors, Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings. Volume 10379 of Lecture Notes in Computer Science, pages 196-212, Springer, 2017. [doi]
Abstract is missing.