Christelle Braun

According to our database, Christelle Braun authored at least 4 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Compositional methods for information-hiding.

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun

Math. Struct. Comput. Sci., 2016

2010

Quantitative Approaches to Information Hiding.

Christelle Braun

PhD thesis, 2010

2009

A quantitative doxastic logic for probabilistic processes and applications to information-hiding.

Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun

J. Appl. Non Class. Logics, 2009

Quantitative Notions of Leakage for One-try Attacks.

Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009