{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T11:12:56Z","timestamp":1784632376464,"version":"3.55.0"},"reference-count":69,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1109\/bloc.2019.8751326","type":"proceedings-article","created":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T19:44:06Z","timestamp":1562010246000},"page":"403-412","source":"Crossref","is-referenced-by-count":75,"title":["Probabilistic Smart Contracts: Secure Randomness on the Blockchain"],"prefix":"10.1109","author":[{"given":"Krishnendu","family":"Chatterjee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amir Kafshdar","family":"Goharshady","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arash","family":"Pourdamghani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0531(87)90099-8"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882168-018"},{"key":"ref33","first-page":"739","article-title":"Quantitative Analysis of Smart Contracts","author":"chatterjee","year":"2018","journal-title":"European Symposium on Programming"},{"key":"ref32","article-title":"Ergodic Mean-Payoff Games for the Analysis of Attacks","author":"chatterjee","year":"2018","journal-title":"Crypto-Currencies in International Conference on Concurrency Theory"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","article-title":"A survey of attacks on ethereum smart contracts (sok)","author":"atzei","year":"2017","journal-title":"Principles of Security and Trust"},{"key":"ref30","author":"tan","year":"2019","journal-title":"Etherscan The Ethereum block explorer"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.2307\/1969529"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3297280.3297322"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00185"},{"key":"ref60","year":"2019","journal-title":"True Random Number Service"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(88)90005-0"},{"key":"ref61","author":"goldreich","year":"2009","journal-title":"Foundations of Cryptography"},{"key":"ref63","year":"2019","journal-title":"RANDAO a DAO working as RNG of Ethereum"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009843"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/2.708447"},{"key":"ref27","article-title":"Undecidable Problems for Probabilistic Network Programming","author":"kalm","year":"2017","journal-title":"Mathematical Foundations of Computer Science"},{"key":"ref65","first-page":"567","article-title":"The Dangers of Key Reuse: Practical Attacks on IPsec IKE","author":"felsch","year":"2018","journal-title":"USENIX Security Symposium"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134027"},{"key":"ref29","first-page":"88","article-title":"Mixing Up Nondeterminism and Probability: a preliminary report Electronic Notes","volume":"22","author":"den hartog","year":"1999","journal-title":"Theoretical Computer Science"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/1023646.1023654"},{"key":"ref68","year":"2017","journal-title":"Randao Verifiable Random Number Generation"},{"key":"ref69","year":"2019","journal-title":"Official go implementation of the ethereum protocol"},{"key":"ref2","article-title":"Ethereum whitepaper","author":"vogelsteller","year":"2014","journal-title":"Ethereum Foundation"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.5210\/fm.v2i9.548","article-title":"Formalizing and securing relationships on public networks","volume":"2","author":"szabo","year":"1997","journal-title":"First Monday"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/653"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491423"},{"key":"ref21","first-page":"26","article-title":"A stochastic programming perspective on nonparametric Bayes","author":"roy","year":"2008","journal-title":"Nonparametric Bayesian Workshop Int Conf on Machine Learning"},{"key":"ref24","first-page":"165","article-title":"Practical probabilistic programming with monads","author":"scibior","year":"2015","journal-title":"Haskell Symposium ACM SIGPLAN"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429119"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_12"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814075"},{"key":"ref50","first-page":"451","article-title":"Simple proofs of sequential work","author":"cohen","year":"2018","journal-title":"Annual International Conference on the Theory and Applications of Cryptographic Teclmiques"},{"key":"ref51","article-title":"Hybrid Mining: Exploiting Blockchain's Computational Power for Distributed Problem Solving","author":"chatterjee","year":"2019","journal-title":"ACM Symposium on Applied Computing"},{"key":"ref59","year":"2019","journal-title":"Oraclize - blockchain oracle service enabling data-rich smart contracts"},{"key":"ref58","year":"2017","journal-title":"The random datasource — chapter 2"},{"key":"ref57","year":"2019","journal-title":"Ethereum Lottery fueled by Bitcoin blocks"},{"key":"ref56","year":"2019","journal-title":"When can BLOCKHASH be safely used for a random number?"},{"key":"ref55","author":"reutov","year":"0","journal-title":"Predicting Random Numbers in Ethereum Smart Contracts"},{"key":"ref54","year":"2016","journal-title":"The DAO of accrue A new automated investment fund has attracted stacks of digital money"},{"key":"ref53","article-title":"The Decentralized Autonomous organization and Governance Issues","author":"chohan","year":"2017","journal-title":"Regulation of Financial Institutions eJournal"},{"key":"ref52","author":"zamfir","year":"2015","journal-title":"Introducing Casper the Friendly Ghost"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511800481"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1006\/game.1999.0790"},{"key":"ref40","article-title":"Solution concepts in cooperative game theory Mathematical Institute","author":"stolwijk","year":"2010","journal-title":"Leiden University"},{"key":"ref12","author":"dameron","year":"0","journal-title":"Beige paper An Ethereum Technical Specification"},{"key":"ref13","article-title":"Architecture of the hyperledger blockchain fabric","author":"cachin","year":"2016","journal-title":"Workshop on Distributed Cryptocurrencies and Consensus Ledgers (DCCL)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_33"},{"key":"ref15","author":"wood","year":"2014","journal-title":"Ethereum Yellow Paper"},{"key":"ref16","author":"vajda","year":"2014","journal-title":"Probabilistic programming Academic Press"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-41528-4_1","article-title":"Termination analysis of probabilistic programs through Positivstellensatz's","author":"chatterjee","year":"2016","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref18","first-page":"672","article-title":"Reasoning about recursive probabilistic programs","author":"olmedo","year":"2016","journal-title":"ACM\/IEEE Symposium on Logic in Computer Science"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3174800"},{"key":"ref4","year":"2019","journal-title":"Scripta"},{"key":"ref3","author":"nakamoto","year":"2008","journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00197"},{"key":"ref5","first-page":"1343","article-title":"Secure Credit Reporting on the Blockchain","author":"goharshady","year":"2018","journal-title":"IEEE International Conference on Blockchain"},{"key":"ref8","year":"2019","journal-title":"Cryptocurrency market capitalizations"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref49","first-page":"585","article-title":"Proofs of space","author":"dziembowski","year":"2015","journal-title":"Annual Cryptology Conference"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/2593882.2593900","article-title":"Probabilistic programming","author":"gordon","year":"2014","journal-title":"Future of Software Engineering"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1049\/cp.2014.0699"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1038\/d41586-018-01625-x"},{"key":"ref48","first-page":"357","article-title":"Ouroboros: A provably secure proof-of-stake blockchain protocol","author":"kiayias","year":"2017","journal-title":"6th Annual International Cryptology Conference"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132757"},{"key":"ref42","year":"2016","journal-title":"Introducing Quanta–blockchain lottery protocol"},{"key":"ref41","year":"2018","journal-title":"Global Lottery Market 2018-2022"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1257\/jep.13.3.173"},{"key":"ref43","year":"2018","journal-title":"Gambling Market-Global Outlook and Forecast 2018-2023"}],"event":{"name":"2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","location":"Seoul, Korea (South)","start":{"date-parts":[[2019,5,14]]},"end":{"date-parts":[[2019,5,17]]}},"container-title":["2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8744142\/8751228\/08751326.pdf?arnumber=8751326","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T23:11:21Z","timestamp":1657840281000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8751326\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5]]},"references-count":69,"URL":"https:\/\/doi.org\/10.1109\/bloc.2019.8751326","relation":{},"subject":[],"published":{"date-parts":[[2019,5]]}}}