User Tools

Site Tools

People »

Dr. Quoc Huy Do

Dr. Quoc Huy Do
Room: 2.460
Phone: +49 711 685 60735*
*Interested in thesis/project?

Postal address:
Universität Stuttgart
Universitätsstraße 38
70569 Stuttgart



  • Quoc Huy Do, Richard Bubel, and Reiner Hähnle. Inferring Secrets by Guided Experiments. In Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, pages 269-287, Springer, 2017. Best paper award. BibTeX  Abstract  pdf 
  • Quoc Huy Do. Detection and Exploitation of Information Flow Leaks. PhD Thesis, Available at BibTeX  Abstract  pdf 
  • Quoc Huy Do, Richard Bubel, and Reiner Hähnle. Automatic detection and demonstrator generation for information flow leaks in object-oriented programs. In Computers & Security, 67: 335-349, 2017. BibTeX  Abstract  pdf 


  • Quoc Huy Do, Eduard Kamburjan, and Nathan Wasser. Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study. In Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pages 97-115, 2016. BibTeX  Abstract  pdf 


  • Quoc Huy Do, Richard Bubel, and Reiner Hähnle. Exploit Generation for Information Flow Leaks in Object-Oriented Programs. In ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings, pages 401-415, 2015. BibTeX  Abstract  pdf 


  • Quoc Huy Do. Using SMT solver and symbolic execution to generate test inputs for C programs. Master Thesis, Available at BibTeX  Abstract 
  • Quoc Huy Do, Anh Hoang Truong, and Ngoc Binh Nguyen. Extending CREST with Multiple SMT Solvers and Real Arithmetic. In 2010 Second International Conference on Knowledge and Systems Engineering, pages 183-187, 2010. BibTeX  Abstract  pdf 


  • Van Huong Pham, Minh Tuan Truong, Quoc Huy Do, Hong Trang Le, Thanh Nhan Vu, Ngoc Binh Nguyen, and Anh Hoang Truong. Some Approaches to Nom Optical Character Recognition. In VNU, Hanoi. J. of Science, Natural Sciences and Technology, 24: 90-99, 2008. BibTeX  Abstract