Duc-Than Nguyen

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 2

Top Topics

Privacy Preserving

Formal Descriptions

Transition Systems

Top Venues

Publications

Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang
Compositional Verification of Concurrent C Programs with Search Structure Templates. CPP (2024)
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer
Compass: strong and compositional library specifications in relaxed memory separation logic. PLDI (2022)
Hai-Van Dang, Thai-Son Tran, Duc-Than Nguyen, Thach V. Bui, Dinh-Thuc Nguyen
Efficient Privacy Preserving Data Audit in Cloud. ICCSAMA (2015)