Accéder directement au contenu

Konstantinos Chatzikokolakis

57
Documents
Identifiants chercheurs

Présentation

Publications

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
Image document

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
Image document

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
Image document

Methods for Location Privacy: A comparative overview

Konstantinos Chatzikokolakis , Ehab Elsalamouny , Catuscia Palamidessi , Anna Pazii
Foundations and Trends® in Privacy and Security , 2017, 1 (4), pp.199-257. ⟨10.1561/3300000017⟩
Article dans une revue hal-01421457v2

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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

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
Image document

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 Palamidessi
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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

Axioms for Information Leakage

Mário S. Alvim , Konstantinos Chatzikokolakis , Annabelle Mciver , Carroll Morgan , Catuscia Palamidessi
29th Computer Security Foundations Symposium (CSF 2016), IEEE, Jun 2016, Lisbon, Portugal. pp.16
Communication dans un congrès hal-01330414v1
Image document

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
Image document

Additive and multiplicative notions of leakage, and their capacities

Mário S. Alvim , Konstantinos Chatzikokolakis , Annabelle Mciver , Carroll Morgan , Catuscia Palamidessi
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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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