Login / Signup
ADsafety: Type-Based Verification of JavaScript Sandboxing.
Joe Gibbs Politz
Spiridon Aristides Eliopoulos
Arjun Guha
Shriram Krishnamurthi
Published in:
USENIX Security Symposium (2011)
Keyphrases
</>
website
web applications
neural network
open source
model checking
formal verification
type checking
databases
genetic algorithm
search engine
database systems
data structure
face verification