An automatic inference of minimal security types Bollmann, Dominik Lortz, Steffen Mantel, Heiko Starostin, Artem 2015 - TUHH Open Research