Accéder directement au contenu

Guillaume Piolle

2
Documents
Identifiants chercheurs

Présentation

Publications

laurent-georget
valerie-viet-triem-tong
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
5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩
Communication dans un congrès 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
Tenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. pp.1-4
Communication dans un congrès hal-01149471v1