Efficient Privacy Preserving Data Audit in Cloud. - Hai-Van Dang; Thai-Son Tran; Duc-Than Nguyen; Thach V. Bui; Dinh-Thuc Nguyen (ICCSAMA, 2015)

Compass: strong and compositional library specifications in relaxed memory separation logic. - Hoang-Hai Dang; Jaehwang Jung; Jaemin Choi; Duc-Than Nguyen; William Mansky; Jeehoon Kang; Derek Dreyer (PLDI, 2022)

Compositional Verification of Concurrent C Programs with Search Structure Templates. - Duc-Than Nguyen; Lennart Beringer; William Mansky; Shengyi Wang (CPP, 2024)