Nombre de documents

5

Laurent Georget


Communication dans un congrès5 documents

  • 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. IEEE Press, pp.10-16, 2017, 〈http://www.formalise.org/〉. 〈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. Alessandro Cimatti; Marjan Sirjani. 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy. Springer International Publishing, Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), pp.1-16, 2017, LNCS. 〈http://sefm17.fbk.eu/〉. 〈10.1007/978-3-319-66197-1_1〉. 〈hal-01535949〉
  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Suivi de flux d'information correct sous Linux. Akram Idani; Nikolai Kosmatov. 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. Actes des 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), pp.19-26, 2017, 〈http://afadl2017.imag.fr/〉. 〈hal-01535937〉
  • Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong. Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase. 3rd IEEE Working Conference on Software Visualization - VISSOFT 2015, Sep 2015, Bremen, Germany. 2015, Proceedings of the 3rd IEEE Working Conference on Software Visualization (VISSOFT 2015). 〈https://www.lgeorget.eu/code-panel/images/kayrebt_viewer_VISSOFT2015.pdf〉. 〈hal-01213233〉
  • Laurent Georget, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong, Mathieu Jaume. Towards a Formal Semantics for System Calls in terms of Information Flow. Tenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. IARIA, pp.1-4, 2015, 〈http://thinkmind.org/index.php?view=article&articleid=icons_2015_1_10_40005〉. 〈hal-01149471〉