Document Open Access Logo

Modern Applications of Game-Theoretic Principles (Invited Paper)

Authors Catuscia Palamidessi , Marco Romanelli

Thumbnail PDF


  • Filesize: 22.15 MB
  • 9 pages

Document Identifiers

Author Details

Catuscia Palamidessi
  • Inria, Palaiseau, France
  • LIX, Ecole Polytechnique, Institut Polytechnique de Paris, Palaiseau, France
Marco Romanelli
  • Inria, Palaiseau, France
  • LIX, Ecole Polytechnique, Institut Polytechnique de Paris, Palaiseau. France
  • University of Siena, Italy

Cite AsGet BibTex

Catuscia Palamidessi and Marco Romanelli. Modern Applications of Game-Theoretic Principles (Invited Paper). In 31st International Conference on Concurrency Theory (CONCUR 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 171, pp. 4:1-4:9, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)


Game theory is the study of the strategic behavior of rational decision makers who are aware that their decisions affect one another. Its simple but universal principles have found applications in the most diverse disciplines, including economics, social sciences, evolutionary biology, as well as logic, system science and computer science. Despite its long-standing tradition and its many advances, game theory is still a young and developing science. In this paper, we describe some recent and exciting applications in the fields of machine learning and privacy.

Subject Classification

ACM Subject Classification
  • Security and privacy → Formal security models
  • Security and privacy → Privacy-preserving protocols
  • Security and privacy → Information flow control
  • Game theory
  • machine learning
  • privacy
  • security


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Martín Abadi and David G. Andersen. Learning to protect communications with adversarial neural cryptography. CoRR, abs/1610.06918, 2016. URL:
  2. Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, and C. H. Luke Ong. Applying game semantics to compositional software modeling and verification. In Kurt Jensen and Andreas Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems, pages 421-435, Berlin, Heidelberg, 2004. Springer Berlin Heidelberg. Google Scholar
  3. Samson Abramsky, Radha Jagadeesan, and Pasquale Malacaria. Full abstraction for PCF. Information and Computation, 163(2):409-470, 2000. URL:
  4. Miguel E. Andrés, Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, and Catuscia Palamidessi. Geo-indistinguishability: differential privacy for location-based systems. In Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS 2013), pages 901-914. ACM, 2013. URL:
  5. Andreas Blass. A game semantics for linear logic. Annals of Pure and Applied Logic, 56(1-3):183-220, 29 April 1992. Google Scholar
  6. Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, and Catuscia Palamidessi. Optimal geo-indistinguishable mechanisms for location privacy. In Proceedings of the 21th ACM Conference on Computer and Communications Security (CCS 2014), 2014. Google Scholar
  7. Matt Fredrikson, Somesh Jha, and Thomas Ristenpart. Model inversion attacks that exploit confidence information and basic countermeasures. In Proceedings of the 22Nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pages 1322-1333, New York, NY, USA, 2015. ACM. URL:
  8. Ian Goodfellow, Jean Pouget-Abadie, Mehdi Mirza, Bing Xu, David Warde-Farley, Sherjil Ozair, Aaron Courville, and Yoshua Bengio. Generative adversarial nets. In Z. Ghahramani, M. Welling, C. Cortes, N. D. Lawrence, and K. Q. Weinberger, editors, Advances in Neural Information Processing Systems 27, pages 2672-2680. Curran Associates, Inc., 2014. URL:
  9. J. M. E. Hyland and C.-H. Luke Ong. On full abstraction for PCF: i, ii, and III. Information and Computation, 163(2):285-408, 2000. URL:
  10. John Forbes Nash Jr. Non-cooperative games. Annals of Mathematics, 2(54):286-295, 1951. Google Scholar
  11. Tero Karras, Timo Aila, Samuli Laine, and Jaakko Lehtinen. Progressive growing of gans for improved quality, stability, and variation. In 6th International Conference on Learning Representations, (ICLR)., 2018. Google Scholar
  12. Jure Leskovec and Andrej Krevl. The Gowalla dataset (Part of the SNAP collection). URL:
  13. Paul Lorenzen and Kuno Lorenz. Dialogische Logik. Kurztitelaufnahme der Deutschen Bibliothek. Wissenschaftliche Buchgesellschaft, [Abt. Verlag], 1978. Google Scholar
  14. John Von Neumann. Zur theorie der gesellshaftsspiele. Mathematical Annals, 100:295-320, 1928. Google Scholar
  15. Simon Oya, Carmela Troncoso, and Fernando Pérez-González. Back to the drawing board: Revisiting the design of optimal location privacy-preserving mechanisms. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, pages 1959-1972. ACM, 2017. URL:
  16. Marco Romanelli, Catuscia Palamidessi, and Konstantinos Chatzikokolakis. Generating optimal privacy-protection mechanisms via machine learning. In Proceedings of the IEEE International Symposium on Computer Security Foundations (CSF), 2020. URL:
  17. Reza Shokri, Marco Stronati, Congzheng Song, and Vitaly Shmatikov. Membership inference attacks against machine learning models. In 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, pages 3-18. IEEE Computer Society, 2017. URL:
  18. Reza Shokri, George Theodorakopoulos, and Carmela Troncoso. Privacy games along location traces: A game-theoretic framework for optimizing location privacy. ACM Transactions on Privacy and Security, 19(4):11:1-11:31, 2017. URL:
  19. Colin Stirling. Bisimulation, modal logic and model checking games. Logic Journal of the IGPL, 7(1):103-124, 1999. URL:
  20. John von Neumann and Oskar Morgenstern. Theory of games and economic behavior. Princeton University Press, Princeton, 1944. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail