Browsing CAS: Computer Science: Technical Reports by Author "Reynolds, Mark"

OpenBU

Browsing CAS: Computer Science: Technical Reports by Author "Reynolds, Mark"

Sort by: Order: Results:

  • 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 ...

Search OpenBU


Advanced Search

Browse

Deposit Materials