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

  • Reiner Hähnle and Nathan Wasser and Richard Bubel, Array Abstraction with Symbolic Pivots, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Springer, 2016, [Online-Edition: https://doi.org/10.1007/978-3-319-30734-3_9]
  • Nathan Wasser and Reiner Hähnle and Richard Bubel, Abstract Interpretation, Deductive Software Verification – The KeY Book, Springer, 2016, [Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_6] , [preprint]