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]
@inproceedings{GeorgetJPTT17,
title = {Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory},
author = {Laurent Georget and Mathieu Jaume and Guillaume Piolle and Frédéric Tronel and Valérie Viet Triem Tong},
year = {2017},
doi = {10.1007/978-3-319-66197-1_1},
url = {https://doi.org/10.1007/978-3-319-66197-1_1},
researchr = {https://researchr.org/publication/GeorgetJPTT17},
cites = {0},
citedby = {0},
pages = {1-16},
booktitle = {Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings},
editor = {Alessandro Cimatti and Marjan Sirjani},
volume = {10469},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-66197-1},
}