Browsing CS Technical Reports by Author "Reps, Thomas W."

Now showing items 1-1 of 1

    • Automatic Discovery of API-Level Vulnerabilities 

      Ganapathy, Vinod; Seshia, Sanjit A.; Jha, Somesh; Reps, Thomas W.; Bryant, Randal E. (University of Wisconsin-Madison Department of Computer Sciences, 2004)
      A system is vulnerable to an API-level attack if its security can be compromised by invoking an allowed sequence of operations from its API. We present a formal framework to model and analyze APIs, and develop an automatic ...