Skip to Main content
Number of documents

4

Laurent Georget


Frédéric Tronel    Valérie Viet Triem Tong   

Conference papers4 documents

  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Suivi de flux d'information correct sous Linux. 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26. ⟨hal-01535937⟩
  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux. 5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩. ⟨hal-01535862⟩
  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. 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⟩. ⟨hal-01535949⟩
  • Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong. Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase. 2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT), IEEE, Sep 2015, Bremen, Germany. ⟨10.1109/vissoft.2015.7332431⟩. ⟨hal-01213233⟩