Reynolds, Mark(CS Department, Boston University, 2010-07-23)
The goal of this work was to apply lightweight formal methods to the study of the security of the JavaScript language. Previous work has shown that lightweight formal methods present a new approach to the study of security ...
