Skip to Main content

Researcher identifiers

External widget

Production year

Number of documents


Kostas Chatzikokolakis

"Geoffrey Smith"    2019   

Books1 document

  • Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, et al.. The Science of Quantitative Information Flow. Springer, In press. ⟨hal-01971490⟩

Book sections1 document

  • Konstantinos Chatzikokolakis, Geoffrey Smith. Refinement Metrics for Quantitative Information Flow. Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., 11760, Springer, pp.397-416, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_23⟩. ⟨hal-02350777⟩