Dongseok Jang

According to our database, Dongseok Jang authored at least 6 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Language-based Security for Web Browsers /.

Dongseok Jang

PhD thesis, 2014

Automating formal proofs for reactive systems.

Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

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

Dongseok Jang, Zachary Tatlock, Sorin Lerner

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2012

Establishing Browser Security Guarantees through Formal Shim Verification.

Dongseok Jang, Zachary Tatlock, Sorin Lerner

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

2010

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

Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Points-to analysis for JavaScript.

Dongseok Jang, Kwang-Moo Choe

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009