Publications

Securing Union-Based Type Punning in C-to-Rust Translation

Eunsu Kim, Sukyoung Ryu, and Jaemin Hong

IEEE Security & Privacy, To appear (Accepted).

PROCTOR: An Extensible C-to-Rust Translation Framework with Static-Analysis-Driven Plugins

Jaemin Hong, Kanguk Lee, Hanliang Zhang, Hyunhee Kang, Eunsu Kim, Justin Restivo, Thanos Typaldos, Ramla Ijaz, Sukyoung Ryu, and Zhong Shao

IEEE Security & Privacy, To appear (Accepted).