Foundations for Reasoning about Holistic Specifications
Duc-Than Nguyen
Master of Philosophy - Dissertation @ University of Melbourne, Australia (2021)
[PDF]
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 (2015)
[Paper]
Attacks on Low Private Exponent RSA: An Experimental Study
Nguyen, Thuc D., Than Duc Nguyen, and Long D. Tran
International Conference on Computational Science and Its Applications (2013)
[Paper]
Others
A Critique of Sequential Consistency in C11
Duc-Than Nguyen
Ph.D. Qualifier Examination 2022 @ UIC
[PDF]
[Slide]