Foundations for Parallel Information Flow Control Runtime Systems

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. [doi]

Authors

Marco Vassena

This author has not been identified. Look up 'Marco Vassena' in Google

Gary Soeller

This author has not been identified. Look up 'Gary Soeller' in Google

Peter Amidon

This author has not been identified. Look up 'Peter Amidon' in Google

Matthew Chan

This author has not been identified. Look up 'Matthew Chan' in Google

John Renner

This author has not been identified. Look up 'John Renner' in Google

Deian Stefan

This author has not been identified. Look up 'Deian Stefan' in Google