29 citations · 37 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CR2021★ 3 cited
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-…
cs.PL2021
The Probabilistic Termination Tool Amber
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen +1
We describe the Amber tool for proving and refuting the termination of a class of probabilistic while-programs with polynomial arithmetic, in a fully automated manner. Amber combin…