A game-theoretic method based on Q-learning to invalidate criminal smart contracts

Probability, Random Variables, and Stochastic Processes.

Julia Abrahams, A. Papoulis · Journal of the American Statistical Association · 1984 · 16.4K citations · Full text

Engineering, Mathematics, Probability Theory +7

Probability, Random Variables, and Stochastic Processes

Irwin Miller, Anthanasios Papoulis · Technometrics · 1966 · 6.5K citations

Engineering, Mathematics, Physics +14

Making Smart Contracts Smarter

Loi Luu, Duc-Hiep Chu, Hrishi Olickel et al. · 2016 · 2.2K citations

Computing, Computer Science, Information Technology +14

ZEUS: Analyzing Safety of Smart Contracts

Sukrit Kalra, Seep Goel, Mohan Dhawan et al. · 2018 · 710 citations · Full text

Computing, Computer Science, Cybersecurity +16

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text

Computing, Computer Science, Cybersecurity +13