Information Flow Tracking for Side-Effectful Libraries

Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld. Information Flow Tracking for Side-Effectful Libraries. In Christel Baier, Luís Caires, editors, Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Volume 10854 of Lecture Notes in Computer Science, pages 141-160, Springer, 2018. [doi]

Authors

Alexander Sjösten

This author has not been identified. Look up 'Alexander Sjösten' in Google

Daniel Hedin

This author has not been identified. Look up 'Daniel Hedin' in Google

Andrei Sabelfeld

This author has not been identified. Look up 'Andrei Sabelfeld' in Google