CySec Researchers Present at ICFP/SPLASH
ICFP/SPLASH are ACM SIGPLAN flagship conferences: ICFP spotlights advances in the design, implementation, theory, and applications of functional programming, while SPLASH spans systems, programming languages, and software engineering across the full lifecycle of software construction and delivery.
Ivana Bocevska presented at ICFP/SPLASH 2025 “Divide and Conquer: A Compositional Approach to Game-Theoretic Security,” coauthored with Anja Petković Komel, Laura Kovács, Sophie Rain, and Michael Rawson. They propose a compositional approach to combine and scale automated reasoning for the static analysis of decentralized systems such as blockchains. The method models protocols as games driven by economic incentives and proves that honest behavior is never disadvantageous, regardless of others’ actions. Instead of verifying one monolithic model that cannot scale to millions of interactions, the authors decompose the overall game into smaller subgames, analyze each, and then compose the results; when a component changes, only that part and its ancestors need to be rechecked. The approach is sound and complete, uncovers properties and bugs in large protocols, and makes rigorous, incentive-aware security proofs practical at real-world scale.
