A formal and automated approach to exploiting multi-stage attacks of web applications

Federico De Meo, Luca ViganĂ² 0001. A formal and automated approach to exploiting multi-stage attacks of web applications. Journal of Computer Security, 28(5):525-576, 2020. [doi]

Abstract

Abstract is missing.