Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale. - Yechan Bae; Youngsuk Kim; Ammar Askar; Jungwon Lim; Taesoo Kim (SOSP, 2021)

Spacelord: Private and Secure Smart Space Sharing. - Yechan Bae; Sarbartha Banerjee; Sangho Lee 001; Marcus Peinado (DTRAP, 2024)