Christelle Braun

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Image Sequences

Motion Estimation

Hidden Information

Top Venues

Math. Struct. Comput. Sci.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun
Compositional methods for information-hiding. Math. Struct. Comput. Sci. 26 (6) (2016)
Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Quantitative Notions of Leakage for One-try Attacks. MFPS (2009)
Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. J. Appl. Non Class. Logics 19 (4) (2009)
Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Compositional Methods for Information-Hiding. FoSSaCS (2008)