Automated Detection of Client-State Manipulation Vulnerabilities

Anders Møller, Mathias Schwarz. Automated Detection of Client-State Manipulation Vulnerabilities. ACM Transactions on Software Engineering Methodology, 23(4):29, 2014. [doi]

Abstract

Abstract is missing.