Taming Message-Passing Communication in Compositional Reasoning About Confidentiality.

Ximeng Li, Heiko Mantel, Markus Tasch

Browse the full APLAS paper archive.