EEMCS

Huisman, M. and Ngo, M.T. (2011) Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. Technical Report TR-CTIT-11-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Huisman, M. and Ngo, M.T. (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. pp. 260-277. Lecture Notes in Computer Science. Springer Verlag.

Ngo, M.T. (2010) Verification of Confidentiality of Multi-threaded Programs. In: IPA PhD Workshop 2010, 01-03 Nov 2010, Veldhoven, The Netherlands. IPA. ISBN not assigned

Ngo, M.T. and Weber, J.H. and Abdel-Ghaffar, K.A.S. (2009) New Upper Bounds on the Separating Redundancy of Linear Block Codes. In: Proceedings of the 30th Symposium on Information Theory in the Benelux, 28-29 May 2009, Eindhoven, The Netherlands. pp. 209-216. ISBN. ISBN 978-90-386-1852-4