Compositional Verification of Concurrent C Programs with Search Structure Templates - Duc-Than Nguyen; Lennart Beringer; William Mansky; Shengyi Wang (Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024, 2024)

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 '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, 2022)

Efficient Privacy Preserving Data Audit in Cloud - Hai-Van Dang; Thai-Son Tran; Duc-Than Nguyen; Thach V. Bui; Dinh-Thuc Nguyen (Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015, Metz, France, 11-13 May, 2015, 2015)