 |
|
|
|
| Papers |
|
Papers (co-)authored by Christelle Braun
| [1] |
Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Christelle Braun.
Compositional Methods for Information-Hiding.
Mathematical Structures in Computer Science, 2013.
To appear. [ bib | http ] |
| [2] |
Christelle Braun.
Quantitative Approaches to Information Hiding.
PhD thesis, Ecole Polytechnique X, May 2010. [ bib | http ] |
| [3] |
Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, and
Christelle Braun.
A quantitative doxastic logic for probabilistic processes and
applications to information-hiding.
The Journal of Applied Non-Classical Logics, 19(4):489-516,
2009. [ bib | http ] |
| [4] |
Christelle Braun, Konstantinos Chatzikokolakis, and Catuscia Palamidessi.
Quantitative notions of leakage for one-try attacks.
In Proceedings of the 25th Conf. on Mathematical Foundations of
Programming Semantics, volume 249 of Electronic Notes in Theoretical
Computer Science, pages 75-91. Elsevier B.V., 2009. [ bib | http ] |
| [5] |
Christelle Braun, Konstantinos Chatzikokolakis, and Catuscia Palamidessi.
Compositional methods for information-hiding.
In Roberto Amadio, editor, Proceedings of FOSSACS, volume 4962
of Lecture Notes in Computer Science, pages 443-457. Springer, 2008. [ bib | http | .pdf ] |
This file has been generated by bibtex2html 1.74
Back
Page maintainer: Catuscia Palamidessi