Quantitative analysis of smart contracts

DOI10.1007/978-3-319-89884-1_26zbMath1418.68024arXiv1801.03367OpenAlexW2963125462MaRDI QIDQ2324004

Amir Kafshdar Goharshady, Yaron Velner, Krishnendu Chatterjee

Publication date: 13 September 2019

Full work available at URL: https://arxiv.org/abs/1801.03367

Mathematics Subject Classification ID

Applications of game theory (91A80) Theory of programming languages (68N15)

Related Items (10)

Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions ⋮ Space-efficient vertex separators for treewidth ⋮ Unnamed Item ⋮ EthVer: formal verification of randomized Ethereum smart contracts ⋮ Unnamed Item ⋮ Efficient interprocedural data-flow analysis using treedepth and treewidth ⋮ Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies ⋮ Unnamed Item ⋮ A Survey of Bidding Games on Graphs (Invited Paper) ⋮ The application of hypergroups in symbolic executions and finite automata

This page was built for publication: Quantitative analysis of smart contracts