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

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

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