@COMMENT{{{This file has been generated by bib2bib 1.74}}

@COMMENT{{{Command line: ./bib2bib -c 'author:"alvim" | author:"andres" | author:"aranda" | author:"aristizabal" | author:"beauxis" | author:"bonchi" | author:"bordenabe" | author:"braun" | author:"chatzikokolakis" | author:"chothia" | author:"deng" | author:"dubreil" | author:"elsalamouny" | author:"giunti" | author:"hamadou" | author:"knight" | author:"kramer" | author:"mio" | author:"olarte" | author:"palamidessi" | author:"pang" | author:"pino" | author:"pradalier" | author:"stronati" | author: "troina" | author:"valencia" | author:"wu" | author:"xu" | author:"ziegler"' -c year=2013 papers.bib}}

@UNPUBLISHED{elsalamouny:hal-00760735,
  AUTHOR = {Elsalamouny, Ehab and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia},
  NOTE = {This paper is to appear in the proceedings of POST 2013 (Principles of Security and Trust).},
  TITLE = {{A differentially private mechanism of optimal utility for a region of priors}},
  YEAR = 2013,
  URL = {http://hal.inria.fr/hal-00760735},
  X-ID-HAL = {hal-00760735}
}

@ARTICLE{hamadou:hal-00760437,
  AUTHOR = {Hamadou, Sardaouna and Sassone, Vladimiro and Yang, Mu},
  JOURNAL = {{Mathematical Structures in Computer Science}},
  NOTE = {To appear},
  PUBLISHER = {Cambridge University Press},
  TITLE = {{An analysis of trust in anonymity networks in the presence of adaptive attackers}},
  URL = {http://hal.inria.fr/hal-00760437},
  X-EDITORIAL-BOARD = {yes},
  X-ID-HAL = {hal-00760437},
  X-INTERNATIONAL-AUDIENCE = {yes},
  YEAR = {2013}
}

@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}
}

@INPROCEEDINGS{xu:hal-00691284,
  ADDRESS = {Newcastle upon Tyne, United Kingdom},
  AUTHOR = {Xu, Lili},
  BOOKTITLE = {{7th International Symposium on Trustworthy Global Computing (TGC)}},
  NOTE = {To appear},
  TITLE = {{Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus}},
  URL = {http://hal.inria.fr/hal-00691284},
  X-ID-HAL = {hal-00691284},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PROCEEDINGS = {yes},
  YEAR = {2013}
}

@INPROCEEDINGS{mio:hal-00766384,
  ADDRESS = {Rome, Italy},
  AUTHOR = {Mio, Matteo and Simpson, Alex},
  BOOKTITLE = {{FoSSaCS}},
  EDITOR = {Frank Pfenning},
  MONTH = MAR,
  PAGES = {15},
  TITLE = {{A Proof System for Compositional Verification of Probabilistic Concurrent Processes}},
  URL = {http://hal.inria.fr/hal-00766384},
  X-ID-HAL = {hal-00766384},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PROCEEDINGS = {yes},
  YEAR = {2013}
}

This file has been generated by bibtex2html 1.74