 |
|
|
|
| Papers |
|
Papers published in 2013
| [1] |
Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Christelle Braun.
Compositional Methods for Information-Hiding.
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