@InProceedings{ kopf.ea:eliminating:2005, author = {Boris K\"opf and Heiko Mantel}, booktitle = {Workshop on Formal Aspects in Security and Trust}, language = {USenglish}, pdf = {papers/2005/1_2005koepf-mantel.pdf}, ps = {papers/2005/1_2005koepf-mantel.ps.gz}, publisher = {Springer }, series = {LNCS }, title = {Eliminating Implicit Information Leaks by Transformational Typing and Unification}, volume = 3866, year = 2005, user = {bkoepf} }