Similar Items: Prover-Adversary games for systems over (non-deterministic) branching programs
- Deterministic Suffix-reading Automata
- Pebble Games and Algebraic Proof Systems
- Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
- A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
- Machine Space I: Weak exponentials and quantification over compact spaces
- Reliable Chain-Based Authentication Protocol Over Enhanced Arbiter PUF