Kostas Chatzikokolakis

CNRS researcher (CR2) at LIX, École Polytechnique, member of the INRIA team Comète.

In previous lives, I was a postdoctoral researcher at the Technical University of Eindhoven and at Oxford's computing lab.

My main areas of research are security protocols (and in particular anonymity and privacy), probabilistic process calculi and information theory.

Publications
Software
CV
Events
- ESOP 2012: 21th European Symposium on Programming
- ISPEC 2012: 8th International Conference on Information Security Practice and Experience
- QAPL 2012: 10th Workshop on Quantitative Aspects of Programming Languages
- Past:
  SecCo 2011, TGC 2011, FAST 2011, QAPL 2011
  SecCo 2010, TCS 2010, FCS-PrivMod 2010, QAPL 2010
  MFPS XXV, SecCo'08
Thesis
- Current version
- Information about my PhD defense

Contact info:

Email: (λx.λy.x@y.org) kostas chatzi (how to decode this?)
LIX, École Polytechnique,
Rue de Saclay,
91128 Palaiseau Cedex,
France
Phone: +33 (0)1 69 33 41 11
Fax: +33 (0)1 69 33 40 49