| # | Title | Citations |
| 1. | Ethereum: a secure decentralised generalised transaction ledger Wood, Gavin. 2014.   | 9349 |
| 2. | A next-generation smart contract and decentralized application platform Buterin, Vitalik. 2014. | 6010 |
| 3. | A survey of attacks on ethereum smart contracts (sok) Atzei, Nicola and Bartoletti, Massimo and Cimoli, Tiziana. 2017. | 2109 |
| 4. | Mastering ethereum: building smart contracts and dapps Antonopoulos, Andreas M and Wood, Gavin. 2018. | 1164 |
| 5. | Casper the friendly finality gadget Buterin, Vitalik and Griffith, Virgil. 2017. | 938 |
| 6. | Smartcheck: Static analysis of ethereum smart contracts Tikhomirov, Sergei and Voskresenskaya, Ekaterina and Ivanitskiy, Ivan and Takhaviev, Ramil and Marchenko, Evgeny and Alexandrov, Yaroslav. 2018. | 909 |
| 7. | Finding The Greedy, Prodigal, and Suicidal Contracts at Scale Nikolic, Ivica and Kolluri, Aashish and Sergey, Ilya and Saxena, Prateek and Hobor, Aquinas. 2018. | 773 |
| 8. | Slither: a static analysis framework for smart contracts Feist, Josselin and Grieco, Gustavo and Groce, Alex. 2019. | 709 |
| 9. | A smart contract for boardroom voting with maximum voter privacy McCorry, Patrick and Shahandashti, Siamak F and Hao, Feng. 2017. | 681 |
| 10. | Plasma: Scalable Autonomous Smart Contracts Poon, Joseph and Buterin, Vitalik. 2017. | 628 |
| 11. | Decentralization in bitcoin and ethereum networks Gencer, Adem Efe and Basu, Soumya and Eyal, Ittay and Van Renesse, Robbert and Sirer, Emin G\"un. 2018. | 540 |
| 12. | Smart contracts: security patterns in the ethereum ecosystem and solidity Wohrer, Maximilian and Zdun, Uwe. 2018. | 483 |
| 13. | Madmax: Surviving out-of-gas conditions in ethereum smart contracts Grech, Neville and Kong, Michael and Jurisevic, Anton and Brent, Lexi and Scholz, Bernhard and Smaragdakis, Yannis. 2018. | 453 |
| 14. | Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Mossberg, Mark and Manzano, Felipe and Hennenfent, Eric and Groce, Alex and Grieco, Gustavo and Feist, Josselin and Brunson, Trent and Dinaburg, Artem. 2019. | 447 |
| 15. | Zether: Towards Privacy in a Smart Contract World. B\"unz, Benedikt and Agrawal, Shashank and Zamani, Mahdi and Boneh, Dan. 2019. | 428 |
| 16. | Osiris: Hunting for integer bugs in ethereum smart contracts Torres, Christof Ferreira and Sch\"utte, Julian and others. 2018. | 415 |
| 17. | teether: Gnawing at ethereum to automatically exploit smart contracts Krupp, Johannes and Rossow, Christian. 2018. | 402 |
| 18. | A Semantic Framework for the Security Analysis of Ethereum smart contracts Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018. | 400 |
| 19. | Defining the ethereum virtual machine for interactive theorem provers Hirai, Yoichi. 2017. | 385 |
| 20. | Vandal: A scalable security analysis framework for smart contracts Brent, Lexi and Jurisevic, Anton and Kong, Michael and Liu, Eric and Gauthier, Francois and Gramoli, Vincent and Holz, Ralph and Scholz, Bernhard. 2018. | 377 |
| 21. | Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Rodler, Michael and Li, Wenting and Karame, Ghassan O and Davi, Lucas. 2018. | 351 |
| 22. | Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL Amani, Sidney and B\'egel, Myriam and Bortin, Maksym and Staples, Mark. 2018. | 340 |
| 23. | VerX: Safety Verification of Smart Contracts Permenev, Anton and Dimitrov, Dimitar and Tsankov, Petar and Drachsler-Cohen, Dana and Vechev, Martin. 2019. | 338 |
| 24. | Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges Daian, Philip and Goldfeder, Steven and Kell, Tyler and Li, Yunqi and Zhao, Xueyuan and Bentov, Iddo and Breidenbach, Lorenz and Juels, Ari. 2019. | 317 |
| 25. | SoK: Transparent Dishonesty: front-running attacks on Blockchain Eskandari, Shayan and Moosavi, Seyedehmahsa and Clark, Jeremy. 2019. | 302 |
| 26. | Learning to Fuzz from Symbolic Execution with Application to Smart Contracts He, Jingxuan and Balunovi\'c, Mislav and Ambroladze, Nodar and Tsankov, Petar and Vechev, Martin. 2019. | 291 |
| 27. | Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit Qin, Kaihua and Zhou, Liyi and Livshits, Benjamin and Gervais, Arthur. 2020. | 285 |
| 28. | Online detection of effectively callback free objects with applications to smart contracts Grossman, Shelly and Abraham, Ittai and Golan-Gueta, Guy and Michalevsky, Yan and Rinetzky, Noam and Sagiv, Mooly and Zohar, Yoni. 2017. | 259 |
| 29. | A survey of tools for analyzing ethereum smart contracts Di Angelo, Monika and Salzer, Gernot. 2019. | 246 |
| 30. | Low-Resource Eclipse Attacks on Ethereum’s Peer-to-Peer Network Marcus, Yuval and Heilman, Ethan and Goldberg, Sharon. 2018. | 240 |
| 31. | A scalable verification solution for blockchains Teutsch, Jason and Reitwie\ssner, Christian. 2017. | 228 |
| 32. | Proof-of-Burn Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2019. | 200 |
| 33. | Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers Sonnino, Alberto and Al-Bassam, Mustafa and Bano, Shehar and Danezis, George. 2018. | 191 |
| 34. | Combining GHOST and Casper Buterin, Vitalik and Hernandez, Diego and Kamphefner, Thor and Pham, Khiem and Qiao, Zhi and Ryan, Danny and Sin, Juhyeok and Wang, Ying and Zhang, Yan X. 2020. | 187 |
| 35. | VeriSolid: Correct-by-Design Smart Contracts for Ethereum Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek. 2019. | 184 |
| 36. | Ethainter: A smart contract security analyzer for composite vulnerabilities Brent, Lexi and Grech, Neville and Lagouvardos, Sifis and Scholz, Bernhard and Smaragdakis, Yannis. 2020. | 182 |
| 37. | EthIR: A Framework for High-Level Analysis of Ethereum Bytecode Albert, Elvira and Gordillo, Pablo and Livshits, Benjamin and Rubio, Albert and Sergey, Ilya. 2018. | 169 |
| 38. | eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Schneidewind, Clara and Grishchenko, Ilya and Scherer, Markus and Maffei, Matteo. 2020. | 165 |
| 39. | SmartBugs: A Framework to Analyze Solidity Smart Contracts Ferreira, Jo\~ao F and Cruz, Pedro and Durieux, Thomas and Abreu, Rui. 2020. | 163 |
| 40. | Flyclient: Super-Light Clients for Cryptocurrencies. B\"unz, Benedikt and Kiffer, Lucianna and Luu, Loi and Zamani, Mahdi. 2019. | 153 |
| 41. | Setting standards for altering and undoing smart contracts Marino, Bill and Juels, Ari. 2016. | 149 |
| 42. | solc-verify: A Modular Verifier for Solidity Smart Contracts Hajdu, \'Akos and Jovanovi\'c, Dejan. 2019. | 148 |
| 43. | GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts Albert, Elvira and Correas, Jes\'us and Gordillo, Pablo and Rom\'an-D\'\iez, Guillermo and Rubio, Albert. 2019. | 140 |
| 44. | Exploiting the laws of order in smart contracts Kolluri, Aashish and Nikolic, Ivica and Sergey, Ilya and Hobor, Aquinas and Saxena, Prateek. 2019. | 138 |
| 45. | A Comprehensive Survey on Smart Contract Construction and Execution: Paradigms, Tools and Systems Hu, Bin and Zhang, Zongyang and Liu, Jianwei and Liu, Yizhong and Yin, Jiayuan and Lu, Rongxing and Lin, Xiaodong. 2020. | 137 |
| 46. | A formal verification tool for Ethereum VM Bytecode Park, Daejun and Zhang, Yi and Saxena, Manasvi and Daian, Philip and Ro\csu, Grigore. 2018. | 134 |
| 47. | CONFUZZIUS: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts Ferreira Torres, Christof and Iannillo, Antonio Ken and Gervais, Arthur and others. 2021. | 134 |
| 48. | Incentives in Ethereum's Hybrid Casper Protocol Buterin, Vitalik and Reijsbergen, Daniel and Leonardos, Stefanos and Piliouras, Georgios. 2019. | 132 |
| 49. | 0x: An open protocol for decentralized exchange on the Ethereum blockchain Warren, Will and Bandeali, Amir. 2017. | 129 |
| 50. | Transaction Fee Mechanism Design Roughgarden, Tim. 2021. | 126 |
| 51. | Model-Checking of Smart Contracts Nehai, Zeinab and Piriou, Pierre-Yves and Daumas, Frederic. 2018. | 123 |
| 52. | Simplicity: A new language for blockchains O'Connor, Russell. 2017. | 121 |
| 53. | Transaction Fee Mechanism Design for the Ethereum Blockchain: An Economic Analysis of EIP-1559 Roughgarden, Tim. 2020. | 118 |
| 54. | Biased Nonce Sense: Lattice Attacks against Weak ECDSA Signatures in Cryptocurrencies Breitner, Joachim and Heninger, Nadia. 2019. | 114 |
| 55. | EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts Rodler, Michael and Li, Wenting and Karame, Ghassan O and Davi, Lucas. 2020. | 114 |
| 56. | Blockchain is Watching You: Profiling and Deanonymizing Ethereum Users B\'eres, Ferenc and Seres, Istv\'an Andr\'as and Bencz\'ur, Andr\'as A and Quintyne-Collins, Mikerah. 2020. | 111 |
| 57. | SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds Bose, Priyanka and Das, Dipanjan and Chen, Yanju and Feng, Yu and Kruegel, Christopher and Vigna, Giovanni. 2021. | 111 |
| 58. | M{\"o}bius: Trustless Tumbling for Transaction Privacy Sarah Meiklejohn and Rebekah Mercer. 2017. | 108 |
| 59. | EthIKS: Using Ethereum to audit a CONIKS key transparency log Bonneau, Joseph. 2016. | 99 |
| 60. | Smt-based verification of solidity smart contracts Alt, Leonardo and Reitwiessner, Christian. 2018. | 95 |
| 61. | Tracing Transactions Across Cryptocurrency Ledgers Yousaf, Haaroon and Kappos, George and Meiklejohn, Sarah. 2018. | 94 |
| 62. | Analyzing Ethereum's Contract Topology Kiffer, Lucianna and Levin, Dave and Mislove, Alan. 2018. | 91 |
| 63. | Broken Metre: Attacking Resource Metering in EVM Daniel Perez and Benjamin Livshits. 2019. | 87 |
| 64. | Findel: Secure derivative contracts for Ethereum Biryukov, Alex and Khovratovich, Dmitry and Tikhomirov, Sergei. 2017. | 86 |
| 65. | ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs Steffen, Samuel and Bichsel, Benjamin and Baumgartner, Roger and Vechev, Martin. 2022. | 80 |
| 66. | Ethereum smart contracts: Security vulnerabilities and security tools Dika, Ardit. 2017. | 79 |
| 67. | OptiSwap: Fast Optimistic Fair Exchange Lisa Eckey and Sebastian Faust and Benjamin Schlosser. 2019. | 79 |
| 68. | Porosity: A decompiler for blockchain-based smart contracts bytecode Suiche, Matt. 2017. | 68 |
| 69. | Zero-Collateral Lotteries in Bitcoin and Ethereum Miller, Andrew and Bentov, Iddo. 2016. | 67 |
| 70. | EtherTrust: Sound static analysis of ethereum bytecode Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018. | 66 |
| 71. | Monitoring smart contracts: Contractlarva and open challenges beyond Azzopardi, Shaun and Ellul, Joshua and Pace, Gordon J. 2018. | 65 |
| 72. | Under the hood of the ethereum gossip protocol Kiffer, Lucianna and Salman, Asad and Levin, Dave and Mislove, Alan and Nita-Rotaru, Cristina. 2021. | 62 |
| 73. | Ethereum Query Language Bragagnolo, Santiago and Rocha, Henrique and Denker, Marcus and Ducasse, St\'ephane. 2018. | 61 |
| 74. | MixEth: efficient, trustless coin mixing service for Ethereum Istv\'an Andr'\as Seres and D ́aniel A. Nagy and Chris Buckland, and \'Peter Burcsi. 2019. | 60 |
| 75. | EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode Contro, Filippo and Crosara, Marco and Ceccato, Mariano and Preda, Mila Dalla. 2021. | 58 |
| 76. | Transaction Fees on a Honeymoon: Ethereum's EIP-1559 One Month Later Reijsbergen, Daniel and Sridhar, Shyam and Monnot, Barnabe and Leonardos, Stefanos and Skoulakis, Stratis and Piliouras, Georgios. 2021. | 58 |
| 77. | Empirically Analyzing Ethereum's Gas Mechanism Yang, Renlord and Murray, Toby and Rimba, Paul and Parampalli, Udaya. 2019. | 57 |
| 78. | ETHDKG: Distributed Key Generation with Ethereum Smart Contracts Philipp Schindler and Aljosha Judmayer and Nicholas Stifter and Edgar Weippl. 2019. | 55 |
| 79. | The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts Christof Ferreira Torres and Antonio Ken Iannillo and Arthur Gervais and Radu State. 2021. | 54 |
| 80. | Practical Smart Contract Sharding with Ownership and Commutativity Analysis P\^\irlea, George and Kumar, Amrit and Sergey, Ilya. 2021. | 53 |
| 81. | Ethereum's Proposer-Builder Separation: Promises and Realities Heimbach, Lioba and Kiffer, Lucianna and Torres, Christof Ferreira and Wattenhofer, Roger. 2023. | 52 |
| 82. | MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract Zhang, William and Banescu, Sebastian and Pasos, Leodardo and Stewart, Steven and Ganesh, Vijay. 2019. | 51 |
| 83. | Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum Chen, Jiachi and Xia, Xin and Lo, David and Grundy, John. 2020. | 48 |
| 84. | SAFEVM: A Safety Verifier for Ethereum Smart Contracts Albert, Elvira and Correas, Jes\'us and Gordillo, Pablo and Rom\'an-D\'\iez, Guillermo and Rubio, Albert. 2019. | 46 |
| 85. | Compositional Security for Reentrant Applications Cecchetti, Ethan and Yao, Siqiu and Ni, Haobin and Myers, Andrew C. 2021. | 46 |
| 86. | The Aztec Protocol Zachary J., Williamson. 2018. | 45 |
| 87. | Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing Yang, Youngseok and Kim, Taesoo and Chun, Byung-Gon. 2021. | 45 |
| 88. | ZETH: On Integrating Zerocash on Ethereum Rondelet, Antoine and Zajac, Michal. 2019. | 43 |
| 89. | Practical Mutation Testing for Smart Contracts Honig, Joran J and Everts, Maarten H and Huisman, Marieke. 2019. | 42 |
| 90. | Scalable Open-Vote Network on Ethereum Mohamed Seifelnasr and Hisham S. Galal and Amr M. Youssef. 2020. | 41 |
| 91. | You sank my battleship! A case study to evaluate state channels as a scaling solution for cryptocurrencies McCorry, Patrick and Buckland, Chris and Bakshi, Surya and W\"ust, Karl and Miller, Andrew. 2018. | 36 |
| 92. | Low-cost attacks on Ethereum 2.0 by sub-1/3 stakeholders Neuder, Michael and Moroz, Daniel J and Rao, Rithvik and Parkes, David C. 2021. | 36 |
| 93. | A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | 35 |
| 94. | A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | 35 |
| 95. | Elipmoc: Advanced Decompilation of Ethereum Smart Contracts GRECH, NEVILLE and LAGOUVARDOS, SIFIS and TSATIRIS, ILIAS and SMARAGDAKIS, YANNIS. 2022. | 30 |
| 96. | Ethereum Proof-of-Stake Consensus Layer: Participation and Decentralization Dominic Grandjean and Lioba Heimbach and Roger Wattenhofer. 2023. | 30 |
| 97. | Uncle Maker: (Time)Stamping Out The Competition in Ethereum Aviv Yaish and Gilad Stern and Aviv Zohar. 2022. | 29 |
| 98. | Beigepaper: An Ethereum Technical Specification Dameron, Micah. 2017. | 28 |
| 99. | AMR: Autonomous Coin Mixer with Privacy Preserving Reward Distribution Le, Duc V and Gervais, Arthur. 2020. | 27 |
| 100. | Loopring: A decentralized token exchange protocol Wang, Daniel and Zhou, Jay and Wang, Alex and Finestone, Matthew. 2018. | 26 |
| 101. | The centralizing effects of private order flow on proposer-builder separation Tivas Gupta and Mallesh M Pai and Max Resnick. 2023. | 25 |
| 102. | Don’t Run on Fumes—Parametric Gas Bounds for Smart Contracts Alberta, Elvira and Correasb, Jes\'us and Gordillob, Pablo and Rom\'an-D\iezc, Guillermo and Rubioa, Albert. 2021. | 24 |
| 103. | Rich specifications for Ethereum smart contract verification Br\"am, Christian and Eilers, Marco and M\"uller, Peter and Sierra, Robin and Summers, Alexander J. 2021. | 23 |
| 104. | MinRoot: Candidate Sequential Function for Ethereum VDF Dmitry Khovratovich and Mary Maller and Pratyush Ranjan Tiwari. 2022. | 23 |
| 105. | EthScope: A Transaction-centric Security Analytics Framework to Detect Malicious Smart Contracts on Ethereum Wu, Lei and Wu, Siwei and Zhou, Yajin and Li, Runhuai and Wang, Zhi and Luo, Xiapu and Wang, Cong and Ren, Kui. 2020. | 21 |
| 106. | A Gas-Efficient Superlight Bitcoin Client in Solidity Stelios Daveas and Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2020. | 21 |
| 107. | EtherClue: Digital investigation of attacks on Ethereum smart contracts Aquilina, Simon Joseph and Casino, Fran and Vella, Mark and Ellul, Joshua and Patsakis, Constantinos. 2021. | 21 |
| 108. | Proof-Carrying Smart Contracts Dickerson, Thomas and Gazzillo, Paul and Herlihy, Maurice and Saraph, Vikram and Koskinen, Eric. 2018. | 19 |
| 109. | Termination of Ethereum's Smart Contracts Genet, Thomas and Jensen, Thomas and Sauvage, Justine. 2020. | 19 |
| 110. | Speculative Denial-of-Service Attacks in Ethereum Aviv Yaish and Kaihua Qin and Liyi Zhou and Aviv Zohar and Arthur Gervais. 2023. | 19 |
| 111. | Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity Antonino, Pedro and Roscoe, AW. 2020. | 18 |
| 112. | Assessing Smart Contracts Security Technical Debts Ahmadjee, Sabreen and Mera-G\'omez, Carlos and Bahsoon, Rami. 2021. | 18 |
| 113. | TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation Alexei Zamyatin and Zeta Avarikioti and Daniel Perez and William J. Knottenbelt. 2020. | 17 |
| 114. | Scalable and privacy-preserving off-chain computations Eberhardt, Jacob. 2021. | 16 |
| 115. | Cryptographic Oracle-Based Conditional Payments Madathil, Varun and Thyagarajan, Sri AravindaKrishnan and Vasilopoulos, Dimitrios and Fournier, Lloyd and Malavolta, Giulio and Moreno-Sanchez, Pedro. 2023. | 16 |
| 116. | WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Invariants Bernardi, Thomas and Dor, Nurit and Fedotov, Anastasia and Grossman, Shelly and Immerman, Neil and Jackson, Daniel and Nutz, Alex and Oppenheim, Lior and Pistiner, Or and Rinetzky, Noam and others. 2020. | 15 |
| 117. | The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts Schneidewind, Clara and Scherer, Markus and Maffei, Matteo. 2020. | 15 |
| 118. | Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph Albert, Elvira and Correas, Jes\'us and Gordillo, Pablo and Rom\'an-D\'\iez, Guillermo and Rubio, Albert. 2020. | 11 |
| 119. | HoRStify: Sound Security Analysis of Smart Contracts Holler, Sebastian and Biewer, Sebastian and Schneidewind, Clara. 2023. | 11 |
| 120. | Derecho: Privacy Pools with Proof-Carrying Disclosures Josh Beal and Ben Fisch. 2023. | 11 |
| 121. | Formal Verification of Solidity contracts in Event-B Zhu, Jian and Hu, Kai and Filali, Mamoun and Bodeveix, Jean-Paul and Talpin, Jean-Pierre. 2020. | 10 |
| 122. | ShareLock: Mixing for Cryptocurrencies from Multiparty ECDSA Shlomovits, Omer and Seres, Istv\'an Andr\'as. 2019. | 9 |
| 123. | A survey of data transfer and storage techniques in prevalent cryptocurrencies and suggested improvements Sunny Katkuri. 2018. | 8 |
| 124. | Cicada: A framework for private non-interactive on-chain auctions and voting Noemi Glaeser and István András Seres and Michael Zhu and Joseph Bonneau. 2023. | 8 |
| 125. | Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More Fan Zhang and Philip Daian and Iddo Bentov and Ari Juels. 2018. | 6 |
| 126. | An Alternative Paradigm for Developing and Pricing Storage on Smart Contract Platforms Patsonakis, Christos and Roussopoulos, Mema. 2019. | 6 |
| 127. | Formal Specification and Verification of Solidity Contracts with Events Hajdu, Akos and Jovanovic, Dejan and Ciocarlie, Gabriela. 2020. | 6 |
| 128. | Towards Smart Hybrid Fuzzing for Smart Contracts Torres, Christof Ferreira and Iannillo, Antonio Ken and Gervais, Arthur and State, Radu. 2020. | 6 |
| 129. | Incentives in casper the friendly finality gadget Buterin, Vitalik. 2017. | 5 |
| 130. | The Arwen Trading Protocols (Full Version) Ethan Heilman and Sebastien Lipmann and Sharon Goldberg. 2020. | 5 |
| 131. | Zecale: Reconciling Privacy and Scalability on Ethereum Rondelet, Antoine. 2020. | 5 |
| 132. | Optimal Flexible Consensus and its Application to Ethereum Joachim Neu and Srivatsan Sridhar and Lei Yang and David Tse. 2023. | 5 |
| 133. | Running on Fumes Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya. 2019. | 4 |
| 134. | Etherless Ethereum Tokens: Simulating Native Tokens in Ethereum John Andrews and Michele Ciampi and Vassilis Zikas. 2021. | 4 |
| 135. | Phoenix: A Formally Verified Regenerating Vault Kirstein, Uri and Grossman, Shelly and Mirkin, Michael and Wilcox, James and Eyal, Ittay and Sagiv, Mooly. 2021. | 4 |
| 136. | Translation Certification for Smart Contracts Krijnen, Jacco and Chakravarty, Manuel MT and Keller, Gabriele and Swierstra, Wouter. 2021. | 4 |
| 137. | A specification for a ZK-EVM B\'egassat, Olivier and Belling, Alexandre and Chapuis-Chkaiban, Th\'eodore and Liochon, Nicolas. 2021. | 4 |
| 138. | Babel Fees via Limited Liabilities Chakravarty, Manuel MT and Karayannidis, Nikos and Kiayias, Aggelos and Jones, Michael Peyton and Vinogradova, Polina. 2021. | 3 |
| 139. | Elysium: Automagically Healing Vulnerable Smart Contracts Using Context-Aware Patching Torres, Christof Ferreira and Jonker, Hugo and State, Radu. 2021. | 2 |
| 140. | Transaction Fee Mining and Mechanism Design Tang, Michael and Zhang, Alex. 2023. | 2 |
| 141. | Speeding up elliptic computations for Ethereum Account Abstraction Renaud Dubois. 2023. | 1 |
| 142. | Proofs-of-delay and randomness beacons in ethereum B\"unz, Benedikt and Goldfeder, Steven and Bonneau, Joseph. 2017. | 0 |
| 143. | ZoKrates - Scalable Privacy-Preserving Off-Chain Computations Jacob Eberhardt and Stefan Tai. 2018. | 0 |
| 144. | Rootstock: Bitcoin powered smart contracts Lerner, S Demian. 2015. | 0 |
| 145. | Casper the friendly ghost: A correct by construction blockchain consensus protocol Zamfir, Vlad. 2017. | 0 |
| 146. | IELE: a rigorously designed language and tool ecosystem for the blockchain Kasampalis, Theodoros and Guth, Dwight and Moore, Brandon and Șerb\uanuț\ua, Traian Florin and Zhang, Yi and Filaretti, Daniele and Șerb\uanuț\ua, Virgil and Johnson, Ralph and Ro\csu, Grigore. 2019. | 0 |
| 147. | Gas limit aware mutation testing of smart contracts at scale Hartel, Pieter and Schumi, Richard. 2019. | 0 |
| 148. | Smashing ethereum smart contracts for fun and real profit Mueller, Bernhard. 2018. | 0 |
| 149. | WaterCarver: Anonymous Confidential Blockchain System based on Account Model Jiajun Xin and Pei Huang and Lei Chen and Xin Lai and Xiao Zhang and Wulu Li and Yongcan Wang. 2019. | 0 |
| 150. | Verifiable Computation using Smart Contracts Avizheh, Sepideh and Nabi, Mahmudun and Safavi-Naini, Reihaneh and Venkateswarlu K, Muni. 2019. | 0 |
| 151. | {\AE}GIS: Smart Shielding of Smart Contracts Ferreira Torres, Christof and Baden, Mathis and Norvill, Robert and Jonker, Hugo. 2019. | 0 |
| 152. | "Many-out-of-Many" Proofs with Applications to Anonymous Zether Benjamin E. Diamond. 2020. | 0 |
| 153. | zkRelay: Facilitating Sidechains using zkSNARK-based Chain-Relays Martin Westerkamp and Jacob Eberhardt. 2020. | 0 |
| 154. | Implementing a Smart Contract PKI Patsonakis, Christos and Samari, Katerina and Kiayias, Aggelos and Roussopoulos, Mema. 2020. | 0 |
| 155. | Smart Contract With Secret Parameters Thiercelin, Marin and Cheng, Chen-Mou and Miyaji, Atsuko and Vaudenay, Serge. 2020. | 0 |
| 156. | Reputable List Curation from Decentralized Voting Elizabeth C. Crites and Mary Maller and Sarah Meiklejohn and Rebekah Mercer. 2020. | 0 |
| 157. | Stablecoins 2.0: Economic Foundations and Risk-based Models Ariah Klages-Mundt and Dominik Harz and Lewis Gudgeon and Jun-You Liu and Andreea Minca. 2020. | 0 |
| 158. | zk-SNARKs Analysis and Implementation on Ethereum Ballesteros Rodr\'\iguez, Alberto. 2020. | 0 |
| 159. | GasMet: Profiling Gas Leaks in the Deployment of Solidity Smart Contracts Canfora, Gerardo and Di Sorbo, Andrea and Laudanna, Sonia and Vacca, Anna and Visaggio, Corrado A. 2020. | 0 |
| 160. | Platypus: Offchain protocol without synchrony Ranchal-Pedrosa, Alejandro and Gramoli, Vincent. 2019. | 0 |
| 161. | Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL Ribeiro, Maria and Adao, Pedro and Mateus, Paulo. 2020. | 0 |
| 162. | Ethereum Smart Contracts Optimization Margherita Renieri. 2020. | 0 |
| 163. | Absentia: secure function evaluation on Ethereum Demirag, Didem and Clark, Jeremy. 2021. | 0 |
| 164. | EthVer: Formal verification of randomized Ethereum smart contracts Mazurek, \Lukasz. 2021. | 0 |
| 165. | Property-based testing of ERC-721 Ethereum smart contracts de Figueiredo Novo, Isac Daniel. 2021. | 0 |
| 166. | Two More Attacks on Proof-of-Stake GHOST/Ethereum Neu, Joachim and Tas, Ertem Nusret and Tse, David. 2022. | 0 |
| 167. | Selfish mining in ethereum Grunspan, Cyril and P\'erez-Marco, Ricardo. 2020. | 0 |
| 168. | A zk-evm specification B\'egassat, Olivier and Belling, Alexandre and Chapuis-Chkaiban, Th\'eodore and Delehelle, Franklin and Kolad, Blazej and Liochon, Nicolas. 2022. | 0 |
| 169. | Side Contract Commitment Attacks on Blockchains Landis, Daji and Schwartzbach, Nikolaj I.. 2023. | 0 |