@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "braun"' papers.bib}}
@ARTICLE{chatzikokolakis:hal-00760596, AUTHOR = {Chatzikokolakis, Konstantinos and Palamidessi, Catuscia and Braun, Christelle}, JOURNAL = {{Mathematical Structures in Computer Science}}, NOTE = {To appear}, PUBLISHER = {Cambridge University Press}, TITLE = {{Compositional Methods for Information-Hiding}}, URL = {http://hal.inria.fr/hal-00760596}, X-EDITORIAL-BOARD = {yes}, X-ID-HAL = {hal-00760596}, X-INTERNATIONAL-AUDIENCE = {yes}, YEAR = {2013} }
@PHDTHESIS{braun:2010:tel-00527367:1, AUTHOR = {Braun, Christelle}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, MONTH = MAY, SCHOOL = {Ecole Polytechnique X}, TITLE = {Quantitative Approaches to Information Hiding}, URL = {http://hal.inria.fr/tel-00527367/en}, X-ID-HAL = {tel-00527367}, YEAR = {2010} }
@ARTICLE{Kramer:09:JANCL, AUTHOR = {Simon Kramer and Catuscia Palamidessi and Roberto Segala and Andrea Turrini and Christelle Braun}, DATE-ADDED = {2010-12-30 03:55:02 +0100}, DATE-MODIFIED = {2010-12-30 03:55:02 +0100}, DOI = {10.3166/jancl.19.489516}, JOURNAL = {The Journal of Applied Non-Classical Logics}, NUMBER = {4}, PAGES = {489-516}, TITLE = {A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding}, URL = {http://hal.archives-ouvertes.fr/inria-00445212/en/}, VOLUME = {19}, X-EDITORIAL-BOARD = {yes}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PAYS = {IT}, YEAR = {2009}, BDSK-URL-1 = {http://hal.archives-ouvertes.fr/inria-00445212/en/}, BDSK-URL-2 = {http://dx.doi.org/10.3166/jancl.19.489516} }
@INPROCEEDINGS{Braun:09:MFPS, AUTHOR = {Christelle Braun and Konstantinos Chatzikokolakis and Catuscia Palamidessi}, BOOKTITLE = {Proceedings of the 25th Conf. on Mathematical Foundations of Programming Semantics}, DATE-ADDED = {2010-12-30 03:55:02 +0100}, DATE-MODIFIED = {2010-12-30 03:55:02 +0100}, PAGES = {75-91}, PUBLISHER = {Elsevier B.V.}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {Quantitative Notions of Leakage for One-try Attacks}, URL = {http://hal.archives-ouvertes.fr/inria-00424852/en/}, VOLUME = {249}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PAYS = {NL}, X-PROCEEDINGS = {yes}, YEAR = {2009}, BDSK-URL-1 = {http://hal.archives-ouvertes.fr/inria-00424852/en/} }
@INPROCEEDINGS{Braun:08:FOSSACS, AUTHOR = {Christelle Braun and Konstantinos Chatzikokolakis and Catuscia Palamidessi}, BOOKTITLE = {Proceedings of FOSSACS}, DATE-ADDED = {2008-12-30 06:11:27 +0100}, DATE-MODIFIED = {2008-12-30 06:11:27 +0100}, DOI = {10.1007/978-3-540-78499-9_31}, EDITOR = {Roberto Amadio}, PAGES = {443-457}, PDF = {http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/Compositional/report.pdf}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Compositional Methods for Information-Hiding}, URL = {http://hal.inria.fr/inria-00349227/en/}, VOLUME = {4962}, YEAR = {2008}, BDSK-URL-1 = {http://hal.inria.fr/inria-00349227/en/}, BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-540-78499-9_31}, BDSK-URL-3 = {http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/Compositional/report.pdf} }
This file has been generated by bibtex2html 1.74