Web API Verification: Results and Challenges

Benjamin S. Lerner Arjun Guha, Joe Gibbs Politz and Shriram Krishnamurthi
Analysis of Security APIs (ASA), 2012

PDF

@inproceedings{2012-guha-asa,
author = "Arjun Guha, Benjamin S. Lerner, Joe Gibbs Politz, and Shriram Krishnamurthi",
title = "Web API Verification: Results and Challenges",
year = 2012,
booktitle = "Analysis of Security APIs (ASA)",

}