Points-to analysis for JavaScript. - Dongseok Jang; Kwang-Moo Choe (SAC, 2009)

An empirical study of privacy-violating information flows in JavaScript web applications. - Dongseok Jang; Ranjit Jhala; Sorin Lerner; Hovav Shacham (CCS, 2010)

Establishing Browser Security Guarantees through Formal Shim Verification. - Dongseok Jang; Zachary Tatlock; Sorin Lerner (USENIX Security Symposium, 2012)

SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks. - Dongseok Jang; Zachary Tatlock; Sorin Lerner (NDSS, 2014)

Automating formal proofs for reactive systems. - Daniel Ricketts 001; Valentin Robert; Dongseok Jang; Zachary Tatlock; Sorin Lerner (PLDI, 2014)

Language-based Security for Web Browsers /. - Dongseok Jang (2014)