Publications

Joint publications (coauthored by people from two or more sites)

M.S. Alvim, K. Chatzikokolakis, A. MacIver, C. Morgan, C. Palamidessi, G. Smith: Measuring Information Leakage Using Generalized Gain Functions. In preparation for submission on the Journal of ACM. 

M.S. Alvim, M. E. Andrés, K. Chatzikokolakis, P. Degano, C. Palamidessi: On the Relation between Differential Privacy and Quantitative Information Flow. Accepted for publication on the Journal of Computer Security.

M. Andrés, C. Palamidessi and G. Smith (eds): Quantitative Information Flow. Special issue of MSCS. It  will appear in 2015.

M.S. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi and G. Smith. Additive and multiplicative notions of leakage, and their capacities. Proc. of CSF 2014.

A. MacIver, C. Morgan, G. Smith, B. Espinoza, and L. Meinicke. Abstract channels and their robust information-leakage ordering. Proc. of POST 2014. 83102

Other publications 

K. Chatzikokolakis, D. Gebler, C. Palamidessi and L. Xu. Generalized bisimulation metrics. Proc. of CONCUR 2014. 

Y. Kawamoto, K. Chatzikokolakis and C. Palamidessi. Compositionality Results for Quantitative Information Flow. Proc. of QEST 2014.  

G. Barthe, M. Gaboardi, E.J. Gallego Arias, J. Hsu, C. Kunz, and P.-Y. Strub. Proving Differential Privacy in Hoare Logic Proc. of CSF 2014. 

J. Hsu, M. Gaboardi, A. Haeberlen, S. Khanna, A. Narayan, B.C. Pierce, and A. Roth. Differential Privacy: An Economic Method for Choosing Epsilon. Proc. of CSF 2014. 

M. Gaboardi, E.J. Gallego Arias, Justin Hsu, Aaron Roth, and Zhiwei Steven Wu. Dual Query: Practical Private Query Release for High Dimensional Data. Proc. of ICML 2014. 

P. Mardziel, M. S. Alvim, M. Hicks, M. Clarkson. Quantifying Information Flow for Dynamic Secrets. Proc. of the 35th IEEE Symposium on Security and Privacy (S&P 2014).

M. S. Alvim, F. B. Schneider, A. Scedrov. When not all bits are equal: Worth-based information flow. Proc. of POST 2014, pp. 120--139.

K. Chatzikokolakis, C. Palamidessi and M. Stronati. A Predictive Differentially-Private Mechanism for Mobility Traces. Proc. of PETS 2014, Springer, LNCS 8555, pp. 21-41, 2014.  

M.E. Andrés, N.E. Bordenabe, K. Chatzikokolakis, C. Palamidessi: Geo-indistinguishability: differential privacy for location-based systems. Proc. of the ACM Conference on Computer and Communications Security (CCS 2013): 901--914

B. Espinoza and G. Smith. Min-Entropy as a Resource. Information and Computation vol. 226, pp. 57-75, 2013.

Z. Meng and G. Smith. faster two-Bit Pattern analysis of Leakage. Proc. of QASA 2013.

K. Chatzikokolakis, M.E. Andrés, N.E. Bordenabe, C. Palamidessi: Broadening the Scope of Differential Privacy Using Metrics. Proc. of the Privacy Enhancing Technologies Symposium (PETS 2013): 82–102