Exploit Generation for Information Flow Leaks in Object-Oriented Programs. - Quoc Huy Do 002; Richard Bubel; Reiner Hähnle (SEC, 2015)

Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study. - Quoc Huy Do 002; Eduard Kamburjan; Nathan Wasser (POST, 2016)

Inferring Secrets by Guided Experiments. - Quoc Huy Do 002; Richard Bubel; Reiner Hähnle (ICTAC, 2017)

Automatic detection and demonstrator generation for information flow leaks in object-oriented programs. - Quoc Huy Do 002; Richard Bubel; Reiner Hähnle (Comput. Secur., 2017)

Detection and Exploitation of Information Flow Leaks. - Quoc Huy Do 002 (2017)