@InProceedings{	  li.mantel.ea:taming,
  author	= {Ximeng Li and Heiko Mantel and Markus Tasch},
  title		= {Taming Message-passing Communication in Compositional
		  Reasoning about Confidentiality},
  booktitle	= {Proceedings of the 15th Asian Symposium on Programming
		  Languages and Systems (APLAS)},
  year		= 2017,
  pages		= {45-66},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/2017-APLAS-LiMantelTasch-.pdf}
}