Our paper called “Detecting and Exploiting Second Order Denial of Service Vulnerabilities in Web Applications” is accepted to CCS 2015 in Denver! Here is the abstract: This paper describes a new class of denial-of-service (DoS) attack, which we refer to … Read More
Our paper called “EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties” has been accepted to OOPSLA’15 ! Here is the abstract of the paper: This paper describes a general framework—and its implementation in a tool called EXPLORER–for … Read More
Our UTOPA group webpage is live as of September, 2015!