We stand with Ukraine  

Quoc Huy Do

Affiliations:
  • University of Stuttgart, Germany
  • Darmstadt University of Technology, Germany (PhD 2017)


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 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Detection and Exploitation of Information Flow Leaks.
[BibTeX]
[DOI]
Quoc Huy Do
PhD thesis, 2017

Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.
[BibTeX]
[DOI]
Quoc Huy Do
,
Richard Bubel
,
Reiner Hähnle
Comput. Secur., 2017

Inferring Secrets by Guided Experiments.
[BibTeX]
[DOI]
Quoc Huy Do
,
Richard Bubel
,
Reiner Hähnle
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2016
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
[BibTeX]
[DOI]
Quoc Huy Do
,
Eduard Kamburjan
,
Nathan Wasser
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015
Exploit Generation for Information Flow Leaks in Object-Oriented Programs.
[BibTeX]
[DOI]
Quoc Huy Do
,
Richard Bubel
,
Reiner Hähnle
Proceedings of the ICT Systems Security and Privacy Protection, 2015


  Loading...