Laurent Georget

According to our database, Laurent Georget authored at least 4 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Laurent Georget

PhD thesis, 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

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

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

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

2015

Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase.

Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong

Proceedings of the 3rd IEEE Working Conference on Software Visualization, 2015