|
This homepage (on IRISA's servers) is not updated anymore. For more recent and complete information, you should have a look at my homepage at the MSR-INRIA Joint Centre.
Publications
[LG07e]
Gurvan Le Guernic. Information Flow Testing. In Iliano Cervesato, editor, Proceedings of the Annual Asian Computing Science Conference, volume 4846 of Lecture Notes in Computer Science, pages 33-47. Carnegie Mellon University Qatar Campus, Springer-Verlag, December 9-11 2007.
[LG07d]
Gurvan Le Guernic. Confidentiality Enforcement Using Dynamic Information Flow Analyses. PhD thesis, Kansas State University, 2007.
[LG07c]
Gurvan Le Guernic. Dynamic Noninterference Analysis Using Context Sensitive Static Analyses. Technical Report 2007-5, Kansas State University, 234 Nichols Hall, Manhattan, KS 66506, USA, July 2007.
[LG07a]
Gurvan Le Guernic. Automaton-based Confidentiality Monitoring of Concurrent Programs. In Proceedings of the 20th IEEE Computer Security Foundations Symposium, pages 218-232. IEEE Computer Society Press, July 6-8 2007.
[LGP07]
Gurvan Le Guernic and Julien Perret. FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. In Proceedings of the International Workshop on Rule-Based Programming, Electronic Notes in Theoretical Computer Science (ENTCS). Elsevier, June 29 2007. To appear.
[LG07b]
Gurvan Le Guernic. Automaton-based Non-interference Monitoring of Concurrent Programs. Technical Report 2007-1, Department of Computing and Information Sciences, College of Engineering, Kansas State University, 234 Nichols Hall, Manhattan, KS 66506, USA, February 2007.
[LGBJS06]
Gurvan Le Guernic, Anindya Banerjee, Thomas Jensen, and David Schmidt. Automata-based Confidentiality Monitoring. In Proceedings of the Annual Asian Computing Science Conference, Lecture Notes in Computer Science, December 6-8 2006. To appear.
[BLG06]
Nicolas Bonnel and Gurvan Le Guernic. Système de recherche de méthodes Java basé sur leur signature. In Proceedings of Majecstic 2006, November 2006.
[LGBS06]
Gurvan Le Guernic, Anindya Banerjee, and David Schmidt. Automaton-based Non-interference Monitoring. Technical Report 2006-1, Department of Computing and Information Sciences, College of Engineering, Kansas State University, 234 Nichols Hall, Manhattan, KS 66506, USA, April 2006.
[LGP05]
Gurvan Le Guernic and Julien Perret. FL-system's Intelligent Cache. In Alexandre Vautier and Sylvie Saget, editors, Proceedings of Majecstic 2005, pages 79-88, November 2005.
[LGJ05]
Gurvan Le Guernic and Thomas Jensen. Monitoring Information Flow. In Andrei Sabelfeld, editor, Proceedings of the Workshop on Foundations of Computer Security, pages 19-30. DePaul University, June 2005.
[LG03]
Gurvan Le Guernic. Roles & Security, October 2003. Dagstuhl Seminar 03411: Language-Based Security.
|