PhD Student

Formal Methods and Tools

Electrical Engineering, Mathematics and Computer Science

University of Twente

Office Address

Drienerlolaan 5, 7522 NB Enschede, The Netherlands

Building Zilvering

Room 3074

Tel: +31 681542005


Research: SlaLoM: Security by Logic for Multithreaded applications

Supervisor: Dr. Marieke Huisman

Educational Background

2010-now,  PhD student in Computer Science, University of Twente, the Netherlands

2007-2009, Master of Science in Telecommunications, Delft University of Technology, the Netherlands

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. Stoelinga and M. Huisman, Confidentiality for Probabilistic Multi-threaded Programs and Its Verification, ESSoS 2013,  Paris, France, the proceeding version, the full version.

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).