Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase. - Laurent Georget; Frédéric Tronel; Valérie Viet Triem Tong (VISSOFT, 2015)

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux. - Laurent Georget; Mathieu Jaume; Frederic Tronel; Guillaume Piolle; Valérie Viet Triem Tong (FormaliSE@ICSE, 2017)

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 (SEFM, 2017)

Suivi de flux d'information correct pour les systèmes d'exploitation Linux. (Correct information flow tracking for Linux operating systems). - Laurent Georget (2017)