TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

Do, Quoc Huy (2017):
Detection and Exploitation of Information Flow Leaks.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6258],
[Ph.D. Thesis]

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

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

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

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

This list was generated on Tue Jun 18 01:37:42 2019 CEST.