
@conference {633,
	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},
	author = {Ximeng Li and Heiko Mantel and Markus Tasch}
}
