Dongseok Jang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | NDSS | SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks. | Dongseok Jang, Zachary Tatlock, Sorin Lerner |
| 2014 | PLDI | Automating formal proofs for reactive systems. | Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner |
| 2010 | CCS | An empirical study of privacy-violating information flows in JavaScript web applications. | Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham |
| 2009 | SAC | Points-to analysis for JavaScript. | Dongseok Jang, Kwang-Moo Choe |