Dongseok Jang

An empirical study of privacy-violating information flows in JavaScript web applications

Sorin Lerner, Hovav Shacham, Ranjit Jhala, 2010, CCS '10.

Establishing Browser Security Guarantees through Formal Shim Verification

Sorin Lerner, Zachary Tatlock, Dongseok Jang, 2012, USENIX Security Symposium.

SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks

Sorin Lerner, Zachary Tatlock, Dongseok Jang, 2014, NDSS.

Automating formal proofs for reactive systems

Sorin Lerner, Zachary Tatlock, Dongseok Jang, 2014, PLDI.

Language-based Security for Web Browsers /

Dongseok Jang, 2014 .

Points-to analysis for JavaScript

Kwang-Moo Choe, Dongseok Jang, 2009, SAC '09.