Researcher identifiers

External widget

Production year

Number of documents


Kostas Chatzikokolakis


Journal articles1 document

  • Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange. Theoretical Computer Science, Elsevier, 2007, 389 (3), pp.512-527. ⟨10.1016/j.tcs.2007.09.006⟩. ⟨inria-00200913⟩

Conference papers3 documents

Theses1 document

  • Konstantinos Chatzikokolakis. Spécification et vérification des protocoles de sécurité probabilistes. Informatique [cs]. Ecole Polytechnique X, 2007. Français. ⟨pastel-00003950⟩