ALBIA Publications

Publications of the ALBIA Project

Journal

  • Quoc Huy Do and Richard Bubel and Reiner Hähnle, Automatic detection and demonstrator generation for information flow leaks in object-oriented programs, Computers & Security, Vol. 67, Elsevier, 2017, [Online-Edition: https://doi.org/10.1016/j.cose.2016.12.002]

Conferences

  • Quoc Huy Do and Richard Bubel and Reiner Hähnle, Exploit Generation for Information Flow Leaks in Object-Oriented Programs, ICT Systems Security and Privacy Protection (SEC), Springer, 2015, [Online-Edition: https://doi.org/10.1007/978-3-319-18467-8_27], [preprint]
  • Quoc Huy Do and Eduard Kamburjan and Nathan Wasser, Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study, Principles of Security and Trust (POST at ETAPS), Springer, 2016, [Online-Edition: https://doi.org/10.1007/978-3-662-49635-0_6]
  • Quoc Huy Do and Richard Bubel and Reiner Hähnle, Inferring Secrets by Guided Experiments, Proceedings of Theoretical Aspects of Computing (ICTAC 2017), Springer, 2017, (Best Paper Award), [Online-Edition: https://doi.org/10.1007/978-3-319-67729-3_16]
  • Dominic Steinhöfel and Nathan Wasser, A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows, Integrated Formal Methods, Springer, 2017, [Online-Edition: http://dx.doi.org/10.1007/978-3-319-66845-1], [preprint]

Essays and Book Chapters