@article {631, title = {Automatic Detection and Demonstrator Generation for Information Flow Leaks in Object-Oriented Programs}, journal = {Computers \& Security}, volume = {67}, year = {2017}, author = {Quoc Huy Do and Richard Bubel and Reiner H{\"a}hnle} } @conference {632, title = {Exploit Generation for Information Flow Leaks in Object-Oriented Programs}, booktitle = {Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC)}, year = {2015}, author = {Quoc Huy Do and Richard Bubel and Reiner H{\"a}hnle} } @conference {599, title = {The KeY Platform for Verification and Analysis of Java Programs}, booktitle = {Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments}, year = {2014}, author = {Wolfgang Ahrendt and Bernhard Beckert and Daniel Bruns and Richard Bubel and Christoph Gladisch and Sarah Grebing and Reiner H{\"a}hnle and Martin Henschel and Mihai Herda and Vladimir Klebanov and Wojciech Mostowski and Christoph Scheben and Peter~H. Schmitt and Mattias Ulbrich} }