@InProceedings{ kopf.ea:eliminating-implicit-information-leaks-by-transformational-typing-and-unification:2006, address = {Newcastle upon Tyne, UK}, author = {Boris K\"opf and Heiko Mantel}, booktitle = {Post-Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST 2005)}, editor = {Theodosis Dimitrakos and Fabio Martinelli and Peter Y. A. Ryan and Steve Schneider}, month = {July 18-19}, pages = {47--62}, publisher = {Springer}, series = {LNCS}, title = {{Eliminating Implicit Information Leaks by Transformational Typing and Unification}}, url = {http://www.springer.com/sgw/cda/frontpage/0,11855,4-151-22-145362948-0,00.html}, volume = 3866, year = 2006 }