Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009
Number of items: 10.

2014

Ngo, Minh Tri and Huisman, Marieke (2014) Quantitative security analysis for programs with low input and noisy output. In: 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, 26-28 February 2014, Munich, Germany.

Ngo, Minh Tri and Stoelinga, Mariëlle and Huisman, Marieke (2014) Effective verification of confidentiality for multi-threaded programs. Journal of computer security . ISSN 0926-227X

Ngo, Tri Minh (2014) Qualitative and quantitative information flow analysis for multi-thread programs. thesis.

2013

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.

2012

Ngo, Minh Tri and Stoelinga, Mariëlle and Huisman, Marieke (2012) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. [Report]

2011

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 (pp. pp. 260-277).

2010

Ngo, Minh Tri (2010) Verification of Confidentiality of Multi-threaded Programs. In: IPA PhD Workshop 2010, 1-3 November 2010, Veldhoven, The Netherlands.

2009

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 (pp. pp. 209-216).

This list was generated on Thu Jul 24 05:14:37 2014 CEST.