Divide and Conquer: a Compositional Approach to Game-Theoretic Security

EasyChair Preprint 15785, version history

Ivana Bocevska, Anja Petković Komel, Laura Kovács, Sophie Rain and Michael Rawson

Version	Date	Pages	Version notes
1	January 30, 2025	27
2	September 12, 2025	48	Improved structure and readability. Peer-reviewed.

Keyphrases: SMT solving, Security, automated reasoning, game theory

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:15785,
  author    = {Ivana Bocevska and Anja Petković Komel and Laura Kovács and Sophie Rain and Michael Rawson},
  title     = {Divide and Conquer: a Compositional Approach to Game-Theoretic Security},
  howpublished = {EasyChair Preprint 15785},
  year      = {EasyChair, 2025}}