Do, Quoc Huy (2017):
Detection and Exploitation of Information Flow Leaks.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner (2017):
Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.
In: Computers & Security, 67, pp. 335-349. DOI: 10.1016/j.cose.2016.12.002,
[Article]

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Hung, Dang Van ; Kapur, Deepak (eds.) (2017):
Inferring Secrets by Guided Experiments.
In: Lecture Notes in Computer Science, 10580, pp. 269-287, Springer, Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, DOI: 10.1007/978-3-319-67729-3_16,
[Conference or Workshop Item]

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan
Piessens, Frank ; Vigano, Luca (eds.) (2016):
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
In: Lecture Notes in Computer Science, 9635, pp. 97-115, Springer, 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, DOI: 10.1007/978-3-662-49635-0_6,
[Conference or Workshop Item]

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Federrath, Hannes ; Gollmann, Dieter (eds.) (2015):
Exploit Generation for Information Flow Leaks in Object-Oriented Programs.
In: IFIP Advances in Information and Communication Technology, 455, pp. 401-415, Springer, ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings, DOI: 10.1007/978-3-319-18467-8_27,
[Conference or Workshop Item]