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

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]

Authors

Federico De Meo

This author has not been identified. Look up 'Federico De Meo' in Google

Luca Viganò 0001

This author has not been identified. Look up 'Luca Viganò 0001' in Google