Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. In Alessandro Cimatti, Marjan Sirjani, editors, Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings. Volume 10469 of Lecture Notes in Computer Science, pages 1-16, Springer, 2017. [doi]

Authors

Laurent Georget

This author has not been identified. Look up 'Laurent Georget' in Google

Mathieu Jaume

This author has not been identified. Look up 'Mathieu Jaume' in Google

Guillaume Piolle

This author has not been identified. Look up 'Guillaume Piolle' in Google

Frédéric Tronel

This author has not been identified. Look up 'Frédéric Tronel' in Google

Valérie Viet Triem Tong

This author has not been identified. Look up 'Valérie Viet Triem Tong' in Google