Konstantinos Chatzikokolakis

Identifiants chercheurs

IdHAL :

konstantinos-chatzikokolakis

IdRef :

183871707

arXiv :

chatzikokolakis_k_1

Présentation

Publications

Article dans une revue (13)

Information Leakage Games: Exploring Information as a Utility Function Mário S. Alvim,Konstantinos Chatzikokolakis,Yusuke Kawamoto,Catuscia Palamidessi ACM Transactions on Privacy and Security, 2022, 25 (3), ⟨10.1145/3517330⟩ Article dans une revue hal-03091413v1
Refinement Orders for Quantitative Information Flow and Differential Privacy Konstantinos Chatzikokolakis,Natasha Fernandes,Catuscia Palamidessi Journal of Cybersecurity and Privacy, 2020, 1, pp.40 - 77. ⟨10.3390/jcp1010004⟩ Article dans une revue hal-03091754v1
Efficient Utility Improvement for Location Privacy Konstantinos Chatzikokolakis,Ehab Elsalamouny,Catuscia Palamidessi Proceedings on Privacy Enhancing Technologies, 2017, 2017 (4), pp.308-328. ⟨10.1515/popets-2017-0051⟩ Article dans une revue hal-01422842v2
On the Compositionality of Quantitative Information Flow Yusuke Kawamoto,Konstantinos Chatzikokolakis,Catuscia Palamidessi Logical Methods in Computer Science, 2017, 13 (3), pp.1-31 Article dans une revue hal-01421424v1
Compositional methods for information-hiding Konstantinos Chatzikokolakis,Catuscia Palamidessi,Christelle Braun Mathematical Structures in Computer Science, 2016, 26 (6), pp.908-932. ⟨10.1017/S0960129514000292⟩ Article dans une revue hal-01006384v1
Constructing elastic distinguishability metrics for location privacy Konstantinos Chatzikokolakis,Catuscia Palamidessi,Marco Stronati Proceedings on Privacy Enhancing Technologies, 2015, 2015 (2), pp.156-170. ⟨10.1515/popets-2015-0023⟩ Article dans une revue hal-01270197v1
On the information leakage of differentially-private mechanisms Mário Sérgio Alvim,Miguel E. Andrés,Konstantinos Chatzikokolakis,Pierpaolo Degano,Catuscia Palamidessi Journal of Computer Security, 2015, 23 (4), pp.427-469. ⟨10.3233/JCS-150528⟩ Article dans une revue hal-00940425v2
Epistemic Strategies and Games on Concurrent Processes Konstantinos Chatzikokolakis,Sophia Knight,Catuscia Palamidessi,Prakash Panangaden ACM Transactions on Computational Logic, 2012, 13 (4), pp.28:1-28:35. ⟨10.1145/2362355.2362356⟩ Article dans une revue inria-00637160v1
Making Random Choices Invisible to the Scheduler Konstantinos Chatzikokolakis,Catuscia Palamidessi Information and Computation, 2010, 208 (6), pp.694-715. ⟨10.1016/j.ic.2009.06.006⟩ Article dans une revue inria-00424860v2
Anonymity Protocols as Noisy Channels Konstantinos Chatzikokolakis,Catuscia Palamidessi,Prakash Panangaden Information and Computation, 2008, 206 (2-4), pp.378--401. ⟨10.1016/j.ic.2007.07.003⟩ Article dans une revue inria-00349225v1
On the Bayes Risk in Information-Hiding Protocols Konstantinos Chatzikokolakis,Catuscia Palamidessi,Prakash Panangaden Journal of Computer Security, 2008, 16 (5), pp.531--571. ⟨10.3233/JCS-2008-0333⟩ Article dans une revue inria-00349224v1
A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange Konstantinos Chatzikokolakis,Catuscia Palamidessi Theoretical Computer Science, 2007, 389 (3), pp.512-527. ⟨10.1016/j.tcs.2007.09.006⟩ Article dans une revue inria-00200913v1
Probable Innocence Revisited Konstantinos Chatzikokolakis,Catuscia Palamidessi Theoretical Computer Science, 2006, 367 (1-2), pp.123-138. ⟨10.1016/j.tcs.2006.08.033⟩ Article dans une revue inria-00201072v1

Communication dans un congrès (36)

Self-Defense: Optimal QIF Solutions and Application to Website Fingerprinting Andreas Athanasiou,Konstantinos Chatzikokolakis,Catuscia Palamidessi CSF 2025 - 38th IEEE Computer Security Foundations Symposium, IEEE, Jun 2025, Santa Cruz, United States Communication dans un congrès hal-04781593v1
Optimal Obfuscation Mechanisms via Machine Learning Marco Romanelli,Konstantinos Chatzikokolakis,Catuscia Palamidessi CSF 2020 - 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Online, United States. pp.153-168 Communication dans un congrès hal-03091514v1
Estimating g-Leakage via Machine Learning Marco Romanelli,Konstantinos Chatzikokolakis,Catuscia Palamidessi,Pablo Piantanida Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS), Nov 2020, Online, United States. pp.697-716 Communication dans un congrès hal-03091469v1
Catch Me If You Can: How Geo-indistinguishability Affects Utility in Mobility-based Geographic Datasets Adriano Di Luzio,Aline Carneiro Viana,Konstantinos Chatzikokolakis,Georgi Dikov,Catuscia Palamidessiet al. LocalRec2019 workshop, jointly with ACM SIGSPATIAL 2019, Nov 2019, Chicago, United States. pp.1-10, ⟨10.1145/3356994.3365498⟩ Communication dans un congrès hal-02423337v1
F-BLEAU: Fast Black-Box Leakage Estimation Giovanni Cherubin,Konstantinos Chatzikokolakis,Catuscia Palamidessi S&P 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.835-852, ⟨10.1109/SP.2019.00073⟩ Communication dans un congrès hal-02422945v1
Comparing systems: max-case refinement orders and application to differential privacy Konstantinos Chatzikokolakis,Natasha Fernandes,Catuscia Palamidessi CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.442--457, ⟨10.1109/CSF.2019.00037⟩ Communication dans un congrès hal-02126848v1
On the Additive Capacity Problem for Quantitative Information Flow Konstantinos Chatzikokolakis 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Sep 2018, Beijing, China. pp.1-19 Communication dans un congrès hal-01845330v1
Trading Optimality for Performance in Location Privacy Konstantinos Chatzikokolakis,Serge Haddad,Ali Kassem,Catuscia Palamidessi 11th EAI International Conference on Performance Evaluation Methodologies and Tools, Dec 2017, Venice, Italy Communication dans un congrès hal-01678256v1
Information Leakage Games Mário S. Alvim,Konstantinos Chatzikokolakis,Yusuke Kawamoto,Catuscia Palamidessi Decision and Game Theory for Security - 8th International Conference, Oct 2017, Vienna, Austria. pp.437-457, ⟨10.1007/978-3-319-68711-7_23⟩ Communication dans un congrès hal-01678950v1
Axioms for Information Leakage Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle Mciver,Carroll Morgan,Catuscia Palamidessiet al. 29th Computer Security Foundations Symposium (CSF 2016), IEEE, Jun 2016, Lisbon, Portugal. pp.16 Communication dans un congrès hal-01330414v1
Up-To Techniques for Generalized Bisimulation Metrics Konstantinos Chatzikokolakis,Catuscia Palamidessi,Valeria Vignudelli 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⟩ Communication dans un congrès hal-01335234v1
Geo-indistinguishability: A Principled Approach to Location Privacy Konstantinos Chatzikokolakis,Catuscia Palamidessi,Marco Stronati 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⟩ Communication dans un congrès hal-01114241v1
Location Privacy via Geo-Indistinguishability Konstantinos Chatzikokolakis,Catuscia Palamidessi,Marco Stronati Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC), 2015, Cali, Colombia. pp.28-38 Communication dans un congrès hal-01271276v1
A Predictive Differentially-Private Mechanism for Mobility Traces Konstantinos Chatzikokolakis,Catuscia Palamidessi,Marco Stronati PETS 2014 - 14th Privacy Enhancing Technologies Symposium, Jul 2014, Amsterdam, Netherlands. pp.21-41, ⟨10.1007/978-3-319-08506-7_2⟩ Communication dans un congrès hal-01011260v1
Generalized bisimulation metrics Konstantinos Chatzikokolakis,Daniel Gebler,Catuscia Palamidessi,Lili Xu CONCUR - 25th Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.32-46, ⟨10.1007/978-3-662-44584-6_4⟩ Communication dans un congrès hal-01011471v1
Metrics for Differential Privacy in Concurrent Systems Lili Xu,Konstantinos Chatzikokolakis,Huimin Lin 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.199-215, ⟨10.1007/978-3-662-43613-4_13⟩ Communication dans un congrès hal-00879140v2
Compositionality Results for Quantitative Information Flow Yusuke Kawamoto,Konstantinos Chatzikokolakis,Catuscia Palamidessi 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⟩ Communication dans un congrès hal-01006381v2
Additive and multiplicative notions of leakage, and their capacities Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle Mciver,Carroll Morgan,Catuscia Palamidessiet al. 27th Computer Security Foundations Symposium (CSF 2014), Jul 2014, Vienna, Austria. pp.308--322, ⟨10.1109/CSF.2014.29⟩ Communication dans un congrès hal-00989462v1
Optimal Geo-Indistinguishable Mechanisms for Location Privacy Nicolás E. Bordenabe,Konstantinos Chatzikokolakis,Catuscia Palamidessi Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS), Gail-Joon Ahn, Nov 2014, Scottsdale, Arizona, United States. pp.251-262, ⟨10.1145/2660267.2660345⟩ Communication dans un congrès hal-00950479v1
A differentially private mechanism of optimal utility for a region of priors Ehab Elsalamouny,Konstantinos Chatzikokolakis,Catuscia Palamidessi 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⟩ Communication dans un congrès hal-00760735v2
Broadening the Scope of Differential Privacy Using Metrics Konstantinos Chatzikokolakis,Miguel E. Andrés,Nicolás E. Bordenabe,Catuscia Palamidessi The 13th Privacy Enhancing Technologies Symposium, Jul 2013, Bloomington, Indiana, United States. pp.82-102, ⟨10.1007/978-3-642-39077-7⟩ Communication dans un congrès hal-00767210v1
Linking Unlinkability Mayla Brusó,Konstantinos Chatzikokolakis,Sandro Etalle,Jerry den Hartog 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⟩ Communication dans un congrès hal-00760150v1
Geo-Indistinguishability: Differential Privacy for Location-Based Systems Miguel E. Andrés,Nicolás E. Bordenabe,Konstantinos Chatzikokolakis,Catuscia Palamidessi Proceedings of the 20th ACM Conference on Computer and Communications Security, ACM, Nov 2013, Berlin, Germany. pp.901-914, ⟨10.1145/2508859.2516735⟩ Communication dans un congrès hal-00766821v1
Differential Privacy: on the trade-off between Utility and Information Leakage Mário S. Alvim,Miguel E. Andrés,Konstantinos Chatzikokolakis,Pierpaolo Degano,Catuscia Palamidessi 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⟩ Communication dans un congrès inria-00580122v5
Measuring Information Leakage using Generalized Gain Functions Mário S. Alvim,Konstantinos Chatzikokolakis,Catuscia Palamidessi,Geoffrey Smith Computer Security Foundations, 2012, Cambridge MA, United States. pp.265-279, ⟨10.1109/CSF.2012.26⟩ Communication dans un congrès hal-00734044v1
Quantitative Information Flow and Applications to Differential Privacy Mário Alvim,Miguel E. Andrés,Konstantinos Chatzikokolakis,Catuscia Palamidessi FOSAD 2011 - 11th International School on Foundations of Security Analysis and Design, Aug 2011, Bertinoro, Italy. pp.211-230, ⟨10.1007/978-3-642-23082-0_8⟩ Communication dans un congrès hal-00655522v1
On the relation between Differential Privacy and Quantitative Information Flow Mário S. Alvim,Miguel E. Andrés,Konstantinos Chatzikokolakis,Catuscia Palamidessi 38th International Colloquium on Automata, Languages and Programming - ICALP 2011, 2011, Zurich, Switzerland. pp.60-76, ⟨10.1007/978-3-642-22012-8_4⟩ Communication dans un congrès inria-00627937v1
Quantitative Notions of Leakage for One-try Attacks Christelle Braun,Konstantinos Chatzikokolakis,Catuscia Palamidessi Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), May 2009, Oxford, United Kingdom. pp.75-91 Communication dans un congrès inria-00424852v1
Epistemic Strategies and Games on Concurrent Processes Konstantinos Chatzikokolakis,Sophia Knight,Prakash Panangaden SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. pp.153-166 Communication dans un congrès inria-00424854v1
Compositional Methods for Information-Hiding Christelle Braun,Konstantinos Chatzikokolakis,Catuscia Palamidessi Foundations of Software Science and Computation Structures (FOSSACS), 2008, Budapest, Hungary. ⟨10.1007/978-3-540-78499-9_31⟩ Communication dans un congrès inria-00349227v1
Formal Approaches to Information-Hiding (Tutorial) Romain Beauxis,Konstantinos Chatzikokolakis,Catuscia Palamidessi,Prakash Panangaden Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. pp.347-362, ⟨10.1007/978-3-540-78663-4_23⟩ Communication dans un congrès inria-00261827v1
Probability of Error in Information-Hiding Protocols Konstantinos Chatzikokolakis,Catuscia Palamidessi,Prakash Panangaden 20th IEEE Computer Security Foundations Symposium (CSF20), Jul 2007, Venice, Italy. pp.341-354, ⟨10.1109/CSF.2007.13⟩ Communication dans un congrès inria-00200957v1
Making Random Choices Invisible to the Scheduler Konstantinos Chatzikokolakis,Catuscia Palamidessi CONCUR'07, Sep 2007, Lisboa, Portugal. ⟨10.1007/978-3-540-74407-8_4⟩ Communication dans un congrès inria-00200967v1
Probable Innocence Revisited Konstantinos Chatzikokolakis,Catuscia Palamidessi Third International Workshop on Formal Aspects in Security and Trust (FAST 2005), Jul 2005, Newcastle Upon Tyne, United Kingdom. pp.142-157 Communication dans un congrès inria-00201109v1
Anonymity Protocols as Noisy Channels Konstantinos Chatzikokolakis,Catuscia Palamidessi,Prakash Panangaden 2nd Symposium on Trustworthy Global Computing (TGC), Nov 2006, Lucca, Italy. pp.281-300, ⟨10.1007/978-3-540-75336-0_18⟩ Communication dans un congrès inria-00201110v1
A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange Konstantinos Chatzikokolakis,Catuscia Palamidessi First Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. pp.146-162, ⟨10.1007/11580850_9⟩ Communication dans un congrès inria-00201111v1

Ouvrages (2)

The Science of Quantitative Information Flow Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver,Carroll Morgan,Catuscia Palamidessiet al. Springer, pp.XXVIII, 478, 2020, ⟨10.1007/978-3-319-96131-6⟩ Ouvrages hal-01971490v1
Proceedings of the 8th International Workshop on Security Issues in Concurrency Konstantinos Chatzikokolakis,Véronique Cortier Konstantinos Chatzikokolakis and Véronique Cortier. Electronic Proceedings in Theoretical Computer Science, 51, pp.51, 2011, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.51⟩ Ouvrages hal-00641020v1

Chapitre d'ouvrage (4)

Chapter 15: Testing Private Models Giovanni Cherubin,Konstantinos Chatzikokolakis,Catuscia Palamidessi Differential Privacy in Artificial Intelligence: From, Theory to Practice, 2025, 978-1-63828-476-5. ⟨10.1561/9781638284772.ch15⟩ Chapitre d'ouvrage hal-05563413v1
Refinement Metrics for Quantitative Information Flow Konstantinos Chatzikokolakis,Geoffrey Smith 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⟩ Chapitre d'ouvrage hal-02350777v1
Methods for Location Privacy: A comparative overview Konstantinos Chatzikokolakis,Ehab Elsalamouny,Catuscia Palamidessi,Anna Pazii Now publishers. Methods for Location Privacy: A comparative overview, 1 (4), , pp.199-257, 2017, Foundations and Trends® in Privacy and Security, 978-1-68083-367-6. ⟨10.1561/3300000017⟩ Chapitre d'ouvrage hal-01421457v2
Generalized differential privacy: regions of priors that admit robust optimal mechanisms Ehab Elsalamouny,Konstantinos Chatzikokolakis,Catuscia Palamidessi 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⟩ Chapitre d'ouvrage hal-01006380v1

Pré-publication, Document de travail (2)

The Bayes Security Measure Konstantinos Chatzikokolakis,Giovanni Cherubin,Catuscia Palamidessi,Carmela Troncoso 2020 Pré-publication, Document de travail hal-03091416v1
Differential Privacy versus Quantitative Information Flow Mário S. Alvim,Konstantinos Chatzikokolakis,Pierpaolo Degano,Catuscia Palamidessi 2010 Pré-publication, Document de travail hal-00548214v1

Thèse (1)

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