EEMCS

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

EEMCS EPrints Service


Research Project: SlaLoM: Security by Logic for Multithreaded applications
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 Blondeel, H.-C. (2011) Model-checking Secure Information Flow for Multi-Threaded Programs. In: Proceedings of the Joint Workshop on Theory of Security and Applications, TOSCA 2011, 31 March - 1 April 2011, Saarbruecken, Germany. pp. 148-165. Lecture Notes in Computer Science 6993. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-27374-2
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