Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2013) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. In: 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013, 27 February - 1 March 2013, Paris, France.
Ngo, Tri Minh and Huisman, Marieke (2013) Quantitative security analysis for multi-threaded programs. In: 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, 22-23 March 2013, Rome, Italy.
Ngo, Minh Tri and Stoelinga, Mariëlle and Huisman, Marieke (2012) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. [Report]
Huisman, Marieke and Ngo, Minh Tri (2011) Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. [Report]
Huisman, Marieke and Ngo, Tri Minh (2011) Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. In: 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, October 5-7, 2011, Turin, Italy.
Ngo, Minh Tri (2010) Verification of Confidentiality of Multi-threaded Programs. In: IPA PhD Workshop 2010, 1-3 November 2010, Veldhoven, The Netherlands.
Ngo, Minh Tri and Weber, Jos H. and Abdel-Ghaffar, Khaled A.S. (2009) New Upper Bounds on the Separating Redundancy of Linear Block Codes. In: 30th Symposium on Information Theory in the Benelux, 28-29 May 2009, Eindhoven, the Netherlands.