@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