Access content directly

Guillaume Piolle

7
Documents
Researcher identifiers

Presentation

Publications

valerie-viet-triem-tong
Image document

URSID: Automatically Refining a Single Attack Scenario into Multiple Cyber Range Architectures

Pierre-Victor Besson , Valérie Viet Triem Tong , Gilles Guette , Guillaume Piolle , Erwann Abgrall
FPS 2023 - 16th International Symposium on Foundations & Practice of Security, Dec 2023, Bordeaux, France. pp.1-16
Conference papers hal-04317073v1
Image document

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
15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy. pp.1-16, ⟨10.1007/978-3-319-66197-1_1⟩
Conference papers hal-01535949v1
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⟩
Conference papers hal-01535862v1
Image document

Suivi de flux d'information correct sous Linux

Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frédéric Tronel , Valérie Viet Triem Tong
16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26
Conference papers hal-01535937v1

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
Conference papers hal-01149471v1

From SSIR to CIDre: a New Security Research Group in Rennes

Emmanuelle Anceaume , Christophe Bidan , Sébastien Gambs , Guillaume Hiet , Michel Hurfin
1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands
Conference papers hal-00656940v1