Contact Information

Colas Le Guernic

I share my time between:

  • DGA Maîtrise de l'Information - BP 7
    35998 RENNES CEDEX 9
  • +33(0)2 90 02 63 66


  • IRISA - F421 Rouge
  • IRISA - Équipe-projet Tamis
    Campus Universitaire de Beaulieu
    35 042 Rennes Cedex
  • +33(0)2 99 84 75 80

Wherever I am, I can always read my emails:

About me

I am a researcher in the information systems security departement of DGA Maîtrise de l'Information and also an associate member of the project-team Tamis at Inria Rennes - Bretagne Atlantique.

I got my PhD in Mathematics and Computer Science from Université Joseph Fourier , working at Verimag on Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics under the supervision of Antoine Girard and Oded Maler. I then joined the Analysis of Computer Systems Group at NYU for a couple of years. I worked there with Patrick Cousot and others on the CMACS project.

I keep an interest for hybrid systems during my free time but my main area of research is now security analysis of binary executables. Before joining Tamis, I was an associate member of the project-team Celtique, and worked within the BinSec and AnaStaSec projects. I am also involved in the organisation of a seminar on software and systems security .

List of Publications

You might find a more complete list at dblp, Google scholar, or Microsoft Academic Search.

Please note that contrary to what dblp and Microsoft seem to assume "Le" is not my middle name, it is part of my lastname. When citing my work using bibtex allow me to kindly ask you to follow Google's example and use the correct syntax in your .bib file: {... and Le Guernic, Colas and ...}. Bibtex will generate "C. Le Guernic" instead of the quite frequent and incorrect "C. L. Guernic" (or "C. Guernic").