Ghostrail: Ad Hoc Control-Flow Integrity for Web Applications

Modern web applications frequently implement complex control flows, which require the users to perform actions in a given order. Users interact with a web application by sending HTTP requests with parameters and in response receive web pages with hyperlin