ADsafety: Type-Based Verification of JavaScript Sandboxing.

Joe Gibbs Politz Spiridon Aristides Eliopoulos Arjun Guha Shriram Krishnamurthi

Published in: CoRR (2015)

Keyphrases

open source
web applications
high level
model checking
computer vision
website
formal verification