
Papers 

Papers published in 2013
[1]

Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Christelle Braun.
Compositional Methods for InformationHiding.
Mathematical Structures in Computer Science, 2013.
To appear.
[ bib 
http ]

[2]

Ehab Elsalamouny, Konstantinos Chatzikokolakis, and Catuscia Palamidessi.
A differentially private mechanism of optimal utility for a region
of priors.
This paper is to appear in the proceedings of POST 2013 (Principles
of Security and Trust)., 2013.
[ bib 
http ]

[3]

Sardaouna Hamadou, Vladimiro Sassone, and Mu Yang.
An analysis of trust in anonymity networks in the presence of
adaptive attackers.
Mathematical Structures in Computer Science, 2013.
To appear.
[ bib 
http ]

[4]

Matteo Mio and Alex Simpson.
A Proof System for Compositional Verification of Probabilistic
Concurrent Processes.
In Frank Pfenning, editor, FoSSaCS, page 15, Rome, Italy,
March 2013.
[ bib 
http ]

[5]

Lili Xu.
Modular Reasoning about Differential Privacy in a Probabilistic
Process Calculus.
In 7th International Symposium on Trustworthy Global Computing
(TGC), Newcastle upon Tyne, United Kingdom, 2013.
To appear.
[ bib 
http ]

This file has been generated by
bibtex2html 1.74
Back
Page maintainer:
Catuscia Palamidessi
