Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
M. Alvim, M. Andrés, K. Chatzikokolakis, C. Palamidessi.
On the relation between Differential Privacy and Quantitative Information Flow, in: 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), Zurich, Switzerland, J. S. Luca Aceto (editor), Lecture Notes in Computer Science, Springer, 2011, vol. 6756, pp. 60-76. [ DOI : 10.1007/978-3-642-22012-8_4 ]
http://hal.inria.fr/inria-00627937/en
[2]
M. Alvim, K. Chatzikokolakis, C. Palamidessi, G. Smith.
Measuring Information Leakage using Generalized Gain Functions, in: Computer Security Foundations, Cambridge MA, United States, IEEE, 2012, pp. 265-279. [ DOI : 10.1109/CSF.2012.26 ]
http://hal.inria.fr/hal-00734044
[3]
M. Andrés, N. Bordenabe, K. Chatzikokolakis, C. Palamidessi.
Geo-Indistinguishability: Differential Privacy for Location-Based Systems, in: 20th ACM Conference on Computer and Communications Security, Berlin, Allemagne, ACM Press, 2013, pp. 901-914, DGA, Inria large scale initiative CAPPRIS. [ DOI : 10.1145/2508859.2516735 ]
http://hal.inria.fr/hal-00766821
[4]
A. Aristizábal, F. Bonchi, C. Palamidessi, L. Pino, D. Valencia.
Deriving Labels and Bisimilarity for Concurrent Constraint Programming, in: FOSSACS 2011 : 14th International Conference on Foundations of Software Science and Computational Structures, Saarbrücken, Germany, M. Hofmann (editor), Lecture Notes in Computer Science, Springer, March 2011, vol. 6604, pp. 138-152. [ DOI : 10.1007/ISBN 978-3-642-19804-5 ]
https://hal.archives-ouvertes.fr/hal-00546722
[5]
K. Chatzikokolakis, M. Andrés, N. Bordenabe, C. Palamidessi.
Broadening the Scope of Differential Privacy Using Metrics, in: The 13th Privacy Enhancing Technologies Symposium, Bloomington, Indiana, États-Unis, E. De Cristofaro, M. Wright (editors), Springer, 2013, vol. 7981, pp. 82-102, DGA, Inria large scale initiative CAPPRIS. [ DOI : 10.1007/978-3-642-39077-7 ]
http://hal.inria.fr/hal-00767210
[6]
K. Chatzikokolakis, C. Palamidessi.
Making Random Choices Invisible to the Scheduler, in: Information and Computation, 2010, vol. 208, no 6, pp. 694-715. [ DOI : 10.1016/j.ic.2009.06.006 ]
[7]
K. Chatzikokolakis, C. Palamidessi, P. Panangaden.
Anonymity Protocols as Noisy Channels, in: Information and Computation, 2008, vol. 206, no 2–4, pp. 378–401. [ DOI : 10.1016/j.ic.2007.07.003 ]
http://hal.inria.fr/inria-00349225/en/
[8]
K. Chatzikokolakis, C. Palamidessi, P. Panangaden.
On the Bayes risk in information-hiding protocols, in: Journal of Computer Security, 2008, vol. 16, no 5, pp. 531–571. [ DOI : 10.3233/JCS-2008-0333 ]
http://hal.inria.fr/inria-00349224/en/
[9]
S. Knight, C. Palamidessi, P. Panangaden, F. D. Valencia.
Spatial and Epistemic Modalities in Constraint-Based Process Calculi, in: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, United Kingdom, September 2012, vol. 7454, pp. 317-332. [ DOI : 10.1007/978-3-642-32940-1 ]
http://hal.inria.fr/hal-00761116
[10]
C. Palamidessi, V. A. Saraswat, F. D. Valencia, B. Victor.
On the Expressiveness of Linearity vs Persistence in the Asynchronous pi-calculus, in: Proceedings of the Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), IEEE Computer Society, 2006, pp. 59–68.
http://hal.inria.fr/inria-00201096/en/
Publications of the year

Doctoral Dissertations and Habilitation Theses

[11]
N. E. Bordenabe.
Measuring Privacy with Distinguishability Metrics: Definitions, Mechanisms and Application to Location Privacy, École Polytechnique, September 2014.
https://pastel.archives-ouvertes.fr/tel-01098088
[12]
L. F. Pino Duque.
Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming, Université Paris-Saclay, September 2014.
https://hal.inria.fr/tel-01110625

Articles in International Peer-Reviewed Journals

[13]
S. Alvim, E. Andrés, K. Chatzikokolakis, P. Degano, C. Palamidessi.
On the information leakage of differentially-private mechanisms, in: Journal of Computer Security, 2014, forthcoming.
https://hal.inria.fr/hal-00940425
[14]
K. Chatzikokolakis, C. Palamidessi, C. Braun.
Compositional Methods for Information-Hiding, in: Mathematical Structures in Computer Science, 2014.
https://hal.inria.fr/hal-01006384
[15]
M. Falaschi, C. Olarte, C. Palamidessi.
Abstract Interpretation of Temporal Concurrent Constraint Programs, in: Theory and Practice of Logic Programming, 2014.
https://hal.inria.fr/hal-00945462
[16]
T. Given-Wilson, D. Gorla, B. Jay.
A Concurrent Pattern Calculus, in: Logical Methods in Computer Science, 2014.
https://hal.inria.fr/hal-00987578
[17]
L. Pino, A. Aristizábal, F. Bonchi, F. D. Valencia.
Weak CCP bisimilarity with strong procedures, in: Science of Computer Programming, 2015, 42 p, forthcoming. [ DOI : 10.1016/j.scico.2014.09.007 ]
https://hal.inria.fr/hal-00976768
[18]
L. F. Pino Duque, F. Bonchi, F. Valencia.
Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming, in: Science of Computer Programming, 2015, 41 p, forthcoming.
https://hal.archives-ouvertes.fr/hal-01098502

Invited Conferences

[19]
K. Chatzikokolakis, D. Gebler, C. Palamidessi, L. Xu.
Generalized bisimulation metrics, in: CONCUR - 25th Conference on Concurrency Theory, Rome, Italy, P. Baldan, D. Gorla (editors), Springer, September 2014, vol. 8704, pp. 32-46. [ DOI : 10.1007/978-3-662-44584-6 ]
https://hal.inria.fr/hal-01011471

International Conferences with Proceedings

[20]
S. Alvim, K. Chatzikokolakis, A. Mciver, C. Morgan, C. Palamidessi, G. Smith.
Additive and multiplicative notions of leakage, and their capacities, in: Computer Security Foundations, Vienna, Austria, IEEE, July 2014, forthcoming.
https://hal.inria.fr/hal-00989462
[21]
N. E. Bordenabe, K. Chatzikokolakis, C. Palamidessi.
Optimal Geo-Indistinguishable Mechanisms for Location Privacy, in: CCS - 21st ACM Conference on Computer and Communications Security, Scottsdale, Arizona, United States, M. Yung, N. Li (editors), ACM Press, November 2014, This paper is the report version of a work that appeared in the proceedings of the 21st ACM Conference on Computer Security. Scottsdale, Arizona, USA, Nov. 2014 (CCS'14). [ DOI : 10.1145/2660267.2660345 ]
https://hal.inria.fr/hal-00950479
[22]
K. Chatzikokolakis, C. Palamidessi, M. Stronati.
A Predictive Differentially-Private Mechanism for Mobility Traces, in: PETS 2014 - 14th Privacy Enhancing Technologies Symposium, Amsterdam, Netherlands, July 2014.
https://hal.inria.fr/hal-01011260
[23]
T. Chothia, Y. Kawamoto, C. Novakovic.
LeakWatch: Estimating Information Leakage from Java Programs, in: Computer Security - ESORICS 2014 - 19th European Symposium on Research in Computer Security, Proceedings, Part II, Wroclaw, Poland, Lecture Notes in Computer Science, September 2014, vol. 8713, pp. 219 - 236. [ DOI : 10.1007/978-3-319-11212-1_13 ]
https://hal.inria.fr/hal-01097603
[24]
N. Ferns, S. Knight, D. Precup.
Bisimulation for Markov Decision Processes through Families of Functional Expressions, in: Horizons of the Mind. A Tribute to Prakash Panangaden (for his 60th birthday), Oxford, United Kingdom, F. van Breugel, E. Kashefi, C. Palamidessi, J. Rutten (editors), Horizons of the Mind. A Tribute to Prakash Panangaden, Springer, May 2014, vol. 8464, pp. 319-342. [ DOI : 10.1007/978-3-319-06880-0_17 ]
https://hal.inria.fr/hal-01098566
[25]
T. Given-Wilson.
An Intensional Concurrent Faithful Encoding of Turing Machines, in: 7th Interaction and Concurrency Experience (ICE 2014), Berlin, Germany, June 2014.
https://hal.inria.fr/hal-00987594
[26]
T. Given-Wilson.
Expressiveness via Intensionality and Concurrency, in: ICTAC 2014 - 11th International Colloquium on Theoretical Aspects of Computing, Bucharest, Romania, September 2014.
https://hal.inria.fr/hal-00999082
[27]
T. Given-Wilson.
On the Expressiveness of Intensional Communication, in: Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, Rome, Italy, September 2014.
https://hal.inria.fr/hal-01026301
[28]
Y. Kawamoto, K. Chatzikokolakis, C. Palamidessi.
Compositionality Results for Quantitative Information Flow, in: Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Florence, Italy, G. Norman, W. H. Sanders (editors), Lecture Notes in Computer Science, Springer, September 2014, vol. 8657, pp. 368-383. [ DOI : 10.1007/978-3-319-10696-0 ]
https://hal.inria.fr/hal-01006381
[29]
L. F. Pino Duque, F. Bonchi, F. D. Valencia.
A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice, in: Proceedings of the 11th International Colloquium Theoretical Aspects of Computing (ICTAC 2014), Bucarest, Romania, September 2014, vol. 8687, pp. 351-368. [ DOI : 10.1007/978-3-319-10882-7_21 ]
https://hal.inria.fr/hal-01006382
[30]
L. Xu, K. Chatzikokolakis, H. Lin.
Metrics for Differential Privacy in Concurrent Systems, in: FORTE - 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Berlin, Germany, E. Abraham, C. Palamidessi (editors), Springer, June 2014, vol. 8461, pp. 199-215. [ DOI : 10.1007/978-3-662-43613-4_13 ]
https://hal.inria.fr/hal-00879140

Scientific Books (or Scientific Book chapters)

[31]
E. Elsalamouny, K. Chatzikokolakis, C. Palamidessi.
Generalized differential privacy: regions of priors that admit robust optimal mechanisms, in: Horizons of the Mind. A Tribute to Prakash Panangaden, F. van Breugel, E. Kashefi, C. Palamidessi, J. Rutten (editors), Lecture Notes in Computer Science, Springer International Publishing, 2014, vol. 8464, pp. 292-318. [ DOI : 10.1007/978-3-319-06880-0_16 ]
https://hal.inria.fr/hal-01006380
References in notes
[32]
M. Alvim, K. Chatzikokolakis, C. Palamidessi, G. Smith.
Measuring Information Leakage using Generalized Gain Functions, in: Computer Security Foundations, Cambridge MA, United States, IEEE, 2012, pp. 265-279. [ DOI : 10.1109/CSF.2012.26 ]
http://hal.inria.fr/hal-00734044
[33]
M. Andrés, N. Bordenabe, K. Chatzikokolakis, C. Palamidessi.
Geo-Indistinguishability: Differential Privacy for Location-Based Systems, in: 20th ACM Conference on Computer and Communications Security, Berlin, Allemagne, ACM Press, 2013, pp. 901-914, DGA, Inria large scale initiative CAPPRIS. [ DOI : 10.1145/2508859.2516735 ]
http://hal.inria.fr/hal-00766821