Author Info
Name
Affiliation
Papers
DONGSEOK JANG
University of California, San Diego
5
Collaborators
Citations 
PageRank 
7
188
10.05
Referers 
Referees 
References 
521
230
92
Search Limit
100521
Title
Citations
PageRank
Year
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.461.412014
Automating formal proofs for reactive systems50.452014
Establishing browser security guarantees through formal shim verification170.672012
An empirical study of privacy-violating information flows in JavaScript web applications976.092010
Points-to analysis for JavaScript231.432009