Researcher identifiers

External widget

Production year

Number of documents

3

Kostas Chatzikokolakis


"Christelle Braun"   

Journal articles1 document

  • Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun. Compositional methods for information-hiding. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (6), pp.908-932. ⟨10.1017/S0960129514000292⟩. ⟨hal-01006384⟩

Conference papers2 documents

  • Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Quantitative Notions of Leakage for One-try Attacks. Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), May 2009, Oxford, United Kingdom. pp.75-91. ⟨inria-00424852⟩
  • Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Compositional Methods for Information-Hiding. Foundations of Software Science and Computation Structures (FOSSACS), 2008, Budapest, Hungary. ⟨10.1007/978-3-540-78499-9_31⟩. ⟨inria-00349227⟩