Taming message-passing communication in compositional reasoning about confidentiality Li, Ximeng Mantel, Heiko Tasch, Markus 2017 - TUHH Open Research