Quoc Huy Do

According to our database1, Quoc Huy Do authored at least 5 papers between 2015 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Detection and Exploitation of Information Flow Leaks.
PhD thesis, 2017

Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.
Comput. Secur., 2017

Inferring Secrets by Guided Experiments.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2016
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015
Exploit Generation for Information Flow Leaks in Object-Oriented Programs.
Proceedings of the ICT Systems Security and Privacy Protection, 2015


  Loading...