Publications of the ALBIA Project


  • 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:]


  • 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:], [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:]
  • 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:]
  • 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:], [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:]
  • Nathan Wasser and Reiner Hähnle and Richard Bubel, Abstract Interpretation, Deductive Software Verification – The KeY Book, Springer, 2016, [Online-Edition:] , [preprint]