@InProceedings{	  kopf.ea:eliminating:2005,
  address	= {Newcastle, UK},
  author	= {Boris K\"opf and Heiko Mantel},
  booktitle	= {Pre-Proceedings of the 3rd International Workshop on
		  Formal Aspects in Security and Trust (FAST 2005)},
  month		= {July 18-19th},
  pages		= {45--60},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2005/2005fast-selected-papers.pdf},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2005/2005fast-selected-papers.PS.zip},
  title		= {Eliminating Implicit Information Leaks by Transformational
		  Typing and Unification},
  url		= {http://www.iit.cnr.it/FAST2005/Unico.htm},
  year		= 2005
}