TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 5.

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

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

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Hung, Dang Van ; Kapur, Deepak (eds.) :

Inferring Secrets by Guided Experiments.
[Online-Edition: https://doi.org/10.1007/978-3-319-67729-3_16]
In: Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. In: Lecture Notes in Computer Science , 10580 . Springer
[Konferenz- oder Workshop-Beitrag], (2017)

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan
Piessens, Frank ; Vigano, Luca (eds.) :

Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
[Online-Edition: https://doi.org/10.1007/978-3-662-49635-0_6]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2016)

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Federrath, Hannes ; Gollmann, Dieter (eds.) :

Exploit Generation for Information Flow Leaks in Object-Oriented Programs.
[Online-Edition: https://doi.org/10.1007/978-3-319-18467-8_27]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2015)

Diese Liste wurde am Sat May 26 02:38:05 2018 CEST generiert.