3 citations · 3 across the 2 of their papers we have counts for
3 papers
Scaling CheckMate for Game-Theoretic Security
Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel +2
We present the CheckMate tool for automated verification of game-theoretic security properties, with application to blockchain protocols. CheckMate applies automated reasoning tech…
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols
Sophie Rain, Georgia Avarikioti, Laura Kovács +1
Off-chain protocols constitute one of the most promising approaches to solve the inherent scalability issue of blockchain technologies. The core idea is to let parties transact on-…
Summing Up Smart Transitions
Neta Elad, Sophie Rain, Neil Immerman +2
Some of the most significant high-level properties of currencies are the sums of certain account balances. Properties of such sums can ensure the integrity of currencies and transa…