Divide and Conquer: A Compositional Approach to Game-Theoretic Security. - Ivana Bocevska; Anja Petkovic Komel; Laura Kovács; Sophie Rain; Michael Rawson 001 (Proc. ACM Program. Lang., 2025)