@InProceedings{ dominik-bollmann:automatic, author = {Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin}, title = {An Automatic Inference of Minimal Security Types}, booktitle = {Proceedings of the 11th International Conference on Information Systems Security (ICISS)}, year = 2015, pages = {395-415}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2015/2015-ICISS-BollmannLortzMantelStarostin-.pdf} }