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
2282010
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.
D Jang, Z Tatlock, S Lerner
NDSS, 2014
1562014
Points-to analysis for JavaScript
D Jang, KM Choe
Proceedings of the 2009 ACM symposium on Applied Computing, 1930-1937, 2009
832009
Points-to analysis for JavaScript
D Jang, KM Choe
Proceedings of the 2009 ACM symposium on Applied Computing, 1930-1937, 2009
832009
Establishing browser security guarantees through formal shim verification
D Jang, Z Tatlock, S Lerner
Presented as part of the 21st {USENIX} Security Symposium ({USENIX} Security …, 2012
752012
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
182014
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
UC San Diego, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–11