Publications

Taming Message-passing Communication in Compositional Reasoning about Confidentiality

AuthorLi, Ximeng; Mantel, Heiko; Tasch, Markus
Date2017
TypeConference Proceedings
ConferenceProceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS)
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/103742