Access content directly

Guillaume Piolle

2
Documents
Researcher identifiers

Presentation

Publications

901267
Image document

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux

Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frédéric Tronel , Valérie Viet Triem Tong et al.
5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩
Conference papers hal-01535862v1

Towards a Formal Semantics for System Calls in terms of Information Flow

Laurent Georget , Guillaume Piolle , Frédéric Tronel , Valérie Viet Triem Tong , Mathieu Jaume et al.
Tenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. pp.1-4
Conference papers hal-01149471v1