Dongseok Jang
Dongseok Jang
Verified email at cs.ucsd.edu - Homepage
Title
Cited by
Cited by
Year
An empirical study of privacy-violating information flows in JavaScript web applications
D Jang, R Jhala, S Lerner, H Shacham
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2402010
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.
D Jang, Z Tatlock, S Lerner
NDSS, 2014
1702014
Establishing browser security guarantees through formal shim verification
D Jang, Z Tatlock, S Lerner
21st {USENIX} Security Symposium ({USENIX} Security 12), 113-128, 2012
822012
Points-to analysis for JavaScript
D Jang, KM Choe
Proceedings of the 2009 ACM symposium on Applied Computing, 1930-1937, 2009
812009
Points-to analysis for JavaScript
D Jang, KM Choe
Proceedings of the 2009 ACM symposium on Applied Computing, 1930-1937, 2009
812009
Analyzing the crossdomain policies of Flash applications
D Jang, A Venkataraman, GM Sawka, H Shacham
Proceedings of the 5th Workshop on Web 2, 2011
202011
Automating formal proofs for reactive systems
D Ricketts, V Robert, D Jang, Z Tatlock, S Lerner
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
192014
Rewriting-based dynamic information flow for JavaScript
D Jang, R Jhala, S Lerner, H Shacham
17th ACM Conference on Computer and Communications Security, 2010
72010
Securing C++ Virtual Calls from Memory Corruption Attacks
D Jang, Z Tatlock, S Lerner
2016
Daniel Ricketts
D Ricketts, G Malecha, MM Alvarez, V Gowda, S Lerner, V Robert, D Jang, ...
Conference on, pages 248 (257), 2015
2015
Language-based Security for Web Browsers
D Jang
University of California, San Diego, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–11