@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} }