Publikationen

Taming Message-passing Communication in Compositional Reasoning about Confidentiality

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

Cyber­security-Konferenzen

zur Übersicht

Aus- und Weiterbildung

Informieren Sie sich über die Aus- und Weiter­bildungs­angebote der in ATHENE mitwirkenden Institutionen

Mehr INFO