Lena Gerlach, Christopher Gerking. How Do Asynchronous Communication Models Impact the Composability of Information Flow Security?. In Diego Marmsoler, Meng Sun 0002, editors, Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings. Volume 15189 of Lecture Notes in Computer Science, pages 127-145, Springer, 2024. [doi]
Abstract is missing.