EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Ngo, Minh Tri
Home Policy Brochure Browse Search User Area Contact Help

2017

Ngo, Minh Tri and Huisman, M. (2017) Complexity and information flow analysis for multi-threaded programs. The European Physical Journal Special Topics, online pre-publication. pp. 1-18. ISSN 1951-6355 *** ISI Impact 1,417 ***

2014

Ngo, Minh Tri (2014) Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 14-305 ISBN 978-90-365-3652-3
Ngo, Minh Tri and Huisman, M. (2014) Quantitative security analysis for programs with low input and noisy output. In: Proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, 26-28 Feb 2014, Munich, Germany. pp. 77-94. Lecture Notes in Computer Science 8364. Springer Verlag. ISBN 978-3-319-04896-3
Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2014) Effective verification of confidentiality for multi-threaded programs. Journal of computer security, 22 (2). pp. 269-300. ISSN 0926-227X

2013

Ngo, Minh Tri and Huisman, M. (2013) Quantitative Security Analysis for Multi-threaded Programs. In: Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), 22-23 Mar 2013, Rome, Italy. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association.
Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2013) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. In: Proceedings of the 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013, 27 Feb - 01 Mar 2013, Paris, France. pp. 107-122. Lecture Notes in Computer Science (7781). Springer Verlag. ISBN 978-3-642-36562-1

2012

Huisman, M. and Ngo, Minh Tri (2012) 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), Revised Selected Papers, October 5-7, 2011, Turin, Italy. pp. 178-195. Lecture Notes in Computer Science 7421. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31761-3
Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2012) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. Technical Report TR-CTIT-13-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2011

Huisman, M. and Ngo, Minh Tri (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

2010

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

2009

Ngo, Minh Tri 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