Kostas Chatzikokolakis

Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi. On the Compositionality of Quantitative Information Flow. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-31. ⟨hal-01421424⟩

Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi, Anna Pazii. Methods for Location Privacy: A comparative overview. Foundations and Trends® in Privacy and Security , Now publishers inc, 2017, 1 (4), pp.199-257. ⟨10.1561/3300000017⟩. ⟨hal-01421457v2⟩

Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi. Efficient Utility Improvement for Location Privacy. Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2017, 2017 (4), pp.308-328. ⟨10.1515/popets-2017-0051⟩. ⟨hal-01422842v2⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun. Compositional methods for information-hiding. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (6), pp.908-932. ⟨10.1017/S0960129514000292⟩. ⟨hal-01006384⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Constructing elastic distinguishability metrics for location privacy . Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2015, 2015 (2), pp.156-170. ⟨10.1515/popets-2015-0023⟩. ⟨hal-01270197⟩

Mário Sérgio Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi. On the information leakage of differentially-private mechanisms. Journal of Computer Security, IOS Press, 2015, 23 (4), pp.427-469. ⟨10.3233/JCS-150528⟩. ⟨hal-00940425v2⟩

Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (4), pp.28:1-28:35. ⟨10.1145/2362355.2362356⟩. ⟨inria-00637160⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi. Making Random Choices Invisible to the Scheduler. Information and Computation, Elsevier, 2010, 208 (6), pp.694-715. ⟨10.1016/j.ic.2009.06.006⟩. ⟨inria-00424860v2⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Anonymity Protocols as Noisy Channels. Information and Computation, Elsevier, 2008, 206 (2-4), pp.378--401. ⟨10.1016/j.ic.2007.07.003⟩. ⟨inria-00349225⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. On the Bayes Risk in Information-Hiding Protocols. Journal of Computer Security, IOS Press, 2008, 16 (5), pp.531--571. ⟨10.3233/JCS-2008-0333⟩. ⟨inria-00349224⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange. Theoretical Computer Science, Elsevier, 2007, 389 (3), pp.512-527. ⟨10.1016/j.tcs.2007.09.006⟩. ⟨inria-00200913⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi. Probable Innocence Revisited. Theoretical Computer Science, Elsevier, 2006, 367 (1-2), pp.123-138. ⟨10.1016/j.tcs.2006.08.033⟩. ⟨inria-00201072⟩

Giovanni Cherubin, Konstantinos Chatzikokolakis, Catuscia Palamidessi. F-BLEAU: Fast Black-Box Leakage Estimation. S&P 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.835-852, ⟨10.1109/SP.2019.00073⟩. ⟨hal-02422945⟩

Adriano Di Luzio, Aline Carneiro Viana, Konstantinos Chatzikokolakis, Georgi Dikov, Catuscia Palamidessi, et al.. Catch Me If You Can: How Geo-indistinguishability Affects Utility in Mobility-based Geographic Datasets. SIGSPATIAL 2019 - 7th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, Nov 2019, Chicago, United States. pp.1-10, ⟨10.1145/3356994.3365498⟩. ⟨hal-02423337⟩

Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi. Comparing systems: max-case refinement orders and application to differential privacy. CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.442--457, ⟨10.1109/CSF.2019.00037⟩. ⟨hal-02126848⟩

Konstantinos Chatzikokolakis. On the Additive Capacity Problem for Quantitative Information Flow. 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Sep 2018, Beijing, China. pp.1-19. ⟨hal-01845330⟩

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi. Information Leakage Games. Decision and Game Theory for Security - 8th International Conference, Oct 2017, Vienna, Austria. pp.437-457, ⟨10.1007/978-3-319-68711-7_23⟩. ⟨hal-01678950⟩

Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi. Trading Optimality for Performance in Location Privacy. 11th EAI International Conference on Performance Evaluation Methodologies and Tools, Dec 2017, Venice, Italy. ⟨hal-01678256⟩

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, et al.. Axioms for Information Leakage. 29th Computer Security Foundations Symposium (CSF 2016), IEEE, Jun 2016, Lisbon, Portugal. pp.16. ⟨hal-01330414⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli. Up-To Techniques for Generalized Bisimulation Metrics. 27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. pp.35:1--35:14, ⟨10.4230/LIPIcs.CONCUR.2016.35⟩. ⟨hal-01335234⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Location Privacy via Geo-Indistinguishability. Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC), 2015, Cali, Colombia. pp.28-38. ⟨hal-01271276⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Geo-indistinguishability: A Principled Approach to Location Privacy. ICDCIT 2015 - Proceedings of the 11th International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. pp.49-72, ⟨10.1007/978-3-319-14977-6_4⟩. ⟨hal-01114241⟩

Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Optimal Geo-Indistinguishable Mechanisms for Location Privacy. CCS - 21st ACM Conference on Computer and Communications Security, Gail-Joon Ahn, Nov 2014, Scottsdale, Arizona, United States. pp.251-262, ⟨10.1145/2660267.2660345⟩. ⟨hal-00950479⟩

Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Compositionality Results for Quantitative Information Flow. Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Sep 2014, Florence, Italy. pp.368-383, ⟨10.1007/978-3-319-10696-0⟩. ⟨hal-01006381v2⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. A Predictive Differentially-Private Mechanism for Mobility Traces. PETS 2014 - 14th Privacy Enhancing Technologies Symposium, Jul 2014, Amsterdam, Netherlands. pp.21-41, ⟨10.1007/978-3-319-08506-7_2⟩. ⟨hal-01011260⟩

Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin. Metrics for Differential Privacy in Concurrent Systems. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.199-215, ⟨10.1007/978-3-662-43613-4_13⟩. ⟨hal-00879140v2⟩

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, et al.. Additive and multiplicative notions of leakage, and their capacities. 27th Computer Security Foundations Symposium (CSF 2014), Jul 2014, Vienna, Austria. pp.308--322, ⟨10.1109/CSF.2014.29⟩. ⟨hal-00989462⟩

Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu. Generalized bisimulation metrics. CONCUR - 25th Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.32-46, ⟨10.1007/978-3-662-44584-6_4⟩. ⟨hal-01011471⟩

Miguel Andrés, Nicolás Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Geo-Indistinguishability: Differential Privacy for Location-Based Systems. 20th ACM Conference on Computer and Communications Security, ACM, Nov 2013, Berlin, Germany. pp.901-914, ⟨10.1145/2508859.2516735⟩. ⟨hal-00766821⟩

Konstantinos Chatzikokolakis, Miguel Andrés, Nicolás Bordenabe, Catuscia Palamidessi. Broadening the Scope of Differential Privacy Using Metrics. The 13th Privacy Enhancing Technologies Symposium, Jul 2013, Bloomington, Indiana, United States. pp.82-102, ⟨10.1007/978-3-642-39077-7⟩. ⟨hal-00767210⟩

Ehab Elsalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi. A differentially private mechanism of optimal utility for a region of priors. 2nd Conference on Principles of Security and Trust (POST 2013), Mar 2013, Rome, Italy. pp.41-62, ⟨10.1007/978-3-642-36830-1_3⟩. ⟨hal-00760735v2⟩

Mayla Brusó, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog. Linking Unlinkability. TGC 2012 - 7th International Symposium on Trustworthy Global Computing, Sep 2012, Newcastle upon Tyne, United Kingdom. pp.129-144, ⟨10.1007/978-3-642-41157-1_9⟩. ⟨hal-00760150⟩

Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith. Measuring Information Leakage using Generalized Gain Functions. Computer Security Foundations, 2012, Cambridge MA, United States. pp.265-279, ⟨10.1109/CSF.2012.26⟩. ⟨hal-00734044⟩

Mário Alvim, Miguel Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi. Differential Privacy: on the trade-off between Utility and Information Leakage. The 8th International Workshop on Formal Aspects of Security & Trust (FAST), Sep 2011, Leuven, Belgium. pp.39--54, ⟨10.1007/978-3-642-29420-4_3⟩. ⟨inria-00580122v5⟩

Mário Alvim, Miguel Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi. On the relation between Differential Privacy and Quantitative Information Flow. 38th International Colloquium on Automata, Languages and Programming - ICALP 2011, 2011, Zurich, Switzerland. pp.60-76, ⟨10.1007/978-3-642-22012-8_4⟩. ⟨inria-00627937⟩

Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. pp.153-166. ⟨inria-00424854⟩

Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Quantitative Notions of Leakage for One-try Attacks. Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), May 2009, Oxford, United Kingdom. pp.75-91. ⟨inria-00424852⟩

Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Compositional Methods for Information-Hiding. Foundations of Software Science and Computation Structures (FOSSACS), 2008, Budapest, Hungary. ⟨10.1007/978-3-540-78499-9_31⟩. ⟨inria-00349227⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Probability of Error in Information-Hiding Protocols. 20th IEEE Computer Security Foundations Symposium (CSF20), Jul 2007, Venice, Italy. pp.341-354, ⟨10.1109/CSF.2007.13⟩. ⟨inria-00200957⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi. Making Random Choices Invisible to the Scheduler. CONCUR'07, Sep 2007, Lisboa, Portugal. ⟨10.1007/978-3-540-74407-8_4⟩. ⟨inria-00200967⟩

Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Formal Approaches to Information-Hiding (Tutorial). Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. pp.347-362, ⟨10.1007/978-3-540-78663-4_23⟩. ⟨inria-00261827⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Anonymity Protocols as Noisy Channels. 2nd Symposium on Trustworthy Global Computing (TGC), Nov 2006, Lucca, Italy. pp.281-300, ⟨10.1007/978-3-540-75336-0_18⟩. ⟨inria-00201110⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi. Probable Innocence Revisited. Third International Workshop on Formal Aspects in Security and Trust (FAST 2005), Jul 2005, Newcastle Upon Tyne, United Kingdom. pp.142-157. ⟨inria-00201109⟩

Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange. First Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. pp.146-162, ⟨10.1007/11580850_9⟩. ⟨inria-00201111⟩

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, et al.. The Science of Quantitative Information Flow. Springer, In press. ⟨hal-01971490⟩

Konstantinos Chatzikokolakis, Geoffrey Smith. Refinement Metrics for Quantitative Information Flow. Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., 11760, Springer, pp.397-416, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_23⟩. ⟨hal-02350777⟩

Ehab Elsalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Generalized differential privacy: regions of priors that admit robust optimal mechanisms. van Breugel, Franck and Kashefi, Elham and Palamidessi, Catuscia and Rutten, Jan. Horizons of the Mind. A Tribute to Prakash Panangaden, 8464, Springer International Publishing, pp.292-318, 2014, Lecture Notes in Computer Science, 978-3-319-06879-4. ⟨10.1007/978-3-319-06880-0_16⟩. ⟨hal-01006380⟩

Mário Alvim, Miguel Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Quantitative Information Flow and Applications to Differential Privacy. Alessandro Aldini and Roberto Gorrieri. Foundations of Security Analysis and Design VI -- FOSAD Tutorial Lectures, 6858, Springer, pp.211--230, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-23082-0_8⟩. ⟨hal-00655522⟩

Konstantinos Chatzikokolakis, Véronique Cortier. Proceedings of the 8th International Workshop on Security Issues in Concurrency. Konstantinos Chatzikokolakis and Véronique Cortier. 51, Electronic Proceedings in Theoretical Computer Science, pp.51, 2011, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.51⟩. ⟨hal-00641020⟩

Mário Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi. Differential Privacy versus Quantitative Information Flow. 2010. ⟨hal-00548214⟩

Konstantinos Chatzikokolakis. Spécification et vérification des protocoles de sécurité probabilistes. Informatique [cs]. Ecole Polytechnique X, 2007. Français. ⟨pastel-00003950⟩