Skip to main content
About
Events
Research
Open Positions
Links
Contact
Search form
Search
Reliably Secure Software Systems (RS
3
) –
DFG Priority Programme 1496
X. Li
,
Mantel, H.
, and
Tasch, M.
,
“
Taming Message-passing Communication in Compositional Reasoning about Confidentiality
”
, in
Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS)
, 2017.
Google Scholar
BibTeX