Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan. Foundations for Parallel Information Flow Control Runtime Systems. In Flemming Nielson, David Sands, editors, Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Volume 11426 of Lecture Notes in Computer Science, pages 1-28, Springer, 2019.
Abstract is missing.