NGO MINH TRI
Drienerlolaan 5, 7522 NB Enschede, The Netherlands
Tel: +31 681542005
Supervisor: Dr. Marieke Huisman
2010-now, PhD student in Computer Science, University of Twente, the Netherlands
Master of Science in Telecommunications,
2000-2005, Bachelor of Science in Electronics and Telecommunications, Danang University of Technology, Vietnam
T.M. Ngo, J.H. Weber, K.A.S. Abdel-Ghaffar, New Upper Bounds on the Separating Redundancy of Linear Block Codes, 30th Symposium on Information Theory in the Benelux, Einhoven, the Netherlands, 2009, pdf.
T.M. Ngo, Verification of Confidentiality of Multi-threaded Programs, IPA PhD Workshop, Veldhoven, the Netherlands, 2010, pdf.
M. Huisman and T.M. Ngo, Scheduler-specific Confidentiality for Multi-threaded Programs and Its logic-based Verification, FoVeOOS 2011 (Revised selected paper), Turin, Italy, post-proceedings, and a full version. Part of this paper has been presented at SecCo 2011, Aachen, Germany.
T.M. Ngo and M. Huisman, Quantitative Security Analysis for Multi-threaded Programs, QAPL 2013, Rome, Italy, pdf.
T.M. Ngo and M. Huisman, Quantitative Security Analysis for Programs with Low Input and Noisy Output, ESSoS 2014, Munich, Germany, pdf (Accepted).
T.M. Ngo and M. Stoelinga and M. Huisman, Effective Verification of Confidentiality for Multi-threaded Programs, Journal of Computer Security (A special issue), pdf (Accepted).