2019 
Papers (280)
| # | Title | |
| 1. | Security and privacy on blockchain Zhang, Rui and Xue, Rui and Liu, Ling. 2019. | |
| 2. | Hotstuff: Bft consensus with linearity and responsiveness Yin, Maofan and Malkhi, Dahlia and Reiter, Michael K and Gueta, Guy Golan and Abraham, Ittai. 2019. | |
| 3. | Slither: a static analysis framework for smart contracts Feist, Josselin and Grieco, Gustavo and Groce, Alex. 2019. | |
| 4. | From mining to markets: The evolution of bitcoin transaction fees Easley, David and O'Hara, Maureen and Basu, Soumya. 2019. | |
| 5. | PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge Ariel Gabizon and Zachary J. Williamson and Oana Ciobotaru. 2019. | |
| 6. | Towards scaling blockchain systems via sharding Dang, Hung and Dinh, Tien Tuan Anh and Loghin, Dumitrel and Chang, Ee-Chien and Lin, Qian and Ooi, Beng Chin. 2019. | |
| 7. | Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts Cheng, Raymond and Zhang, Fan and Kos, Jernej and He, Warren and Hynes, Nicholas and Johnson, Noah and Juels, Ari and Miller, Andrew and Song, Dawn. 2019. | |
| 8. | Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS Alessandro Chiesa and Yuncong Hu and Mary Maller and Pratyush Mishra and Noah Vesely and Nicholas Ward. 2019. | |
| 9. | Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings Maller, Mary and Bowe, Sean and Kohlweiss, Markulf and Meiklejohn, Sarah. 2019. | |
| 10. | Privacy-preserving solutions for Blockchain: review and challenges Bernabe, Jorge Bernal and Canovas, Jose L and Hernandez-Ramos, Jose L and Moreno, Rafael Torres and Skarmeta, Antonio. 2019. | |
| 11. | 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. | |
| 12. | Zether: Towards Privacy in a Smart Contract World. B\"unz, Benedikt and Agrawal, Shashank and Zamani, Mahdi and Boneh, Dan. 2019. | |
| 13. | Efficient verifiable delay functions Wesolowski, Benjamin. 2019. | |
| 14. | Spartan: Efficient and general-purpose zkSNARKs without trusted setup Setty, Srinath. 2019. | |
| 15. | Transparent SNARKs from DARK Compilers Benedikt Bünz and Ben Fisch and Alan Szepieniec. 2019. | |
| 16. | SoK: Sharding on Blockchain Gang Wang and Zhijie Jerry Shi and Mark Nixon and Song Han. 2019. | |
| 17. | VerX: Safety Verification of Smart Contracts Permenev, Anton and Dimitrov, Dimitar and Tsankov, Petar and Drachsler-Cohen, Dana and Vechev, Martin. 2019. | |
| 18. | Simple verifiable delay functions Pietrzak, Krzysztof Z. 2019. | |
| 19. | 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. | |
| 20. | SoK: Transparent Dishonesty: front-running attacks on Blockchain Eskandari, Shayan and Moosavi, Seyedehmahsa and Clark, Jeremy. 2019. | |
| 21. | 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. | |
| 22. | Scalable Zero Knowledge with No Trusted Setup Ben-Sasson, Eli and Bentov, Iddo and Horesh, Yinon and Riabzev, Michael. 2019. | |
| 23. | Prism: Deconstructing the Blockchain to Approach Physical Limits Bagaria, Vivek and Kannan, Sreeram and Tse, David and Fanti, Giulia and Viswanath, Pramod. 2019. | |
| 24. | Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation Xie, Tiacheng and Zhang, Jiaheng and Zhang, Yupeng and Papamanthou, Charalampos and Song, Dawn. 2019. | |
| 25. | The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts Torres, Christof Ferreira and Steichen, Mathis. 2019. | |
| 26. | Recursive Proof Composition without aTrusted Setup Bowe, Sean Grigg, Jack Hopwood, Daira. 2019. | |
| 27. | XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets Zamyatin, Alexei and Harz, Dominik and Lind, Joshua and Panayiotou, Panayiotis and Gervais, Arthur and Knottenbelt, William. 2019. | |
| 28. | Fractal: Post-Quantum and Transparent Recursive Proofs from Holography Alessandro Chiesa and Dev Ojha and Nicholas Spooner. 2019. | |
| 29. | A survey of tools for analyzing ethereum smart contracts Di Angelo, Monika and Salzer, Gernot. 2019. | |
| 30. | SoK: Communication Across Distributed Ledgers Alexei Zamyatin and Mustafa Al-Bassam and Dionysis Zindros and Eleftherios Kokoris-Kogias and Pedro Moreno-Sanchez and Aggelos Kiayias and William J. Knottenbelt. 2019. | |
| 31. | An analysis of Uniswap markets Angeris, Guillermo and Kao, Hsien-Tang and Chiang, Rei and Noyes, Charlie and Chitra, Tarun. 2019. | |
| 32. | SoK of Used Cryptography in Blockchain Raikwar, Mayank and Gligoroski, Danilo and Kralevska, Katina. 2019. | |
| 33. | Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols Aly, Abdelrahaman and Ashur, Tomer and Ben-Sasson, Eli and Dhooghe, Siemen and Szepieniec, Alan. 2019. | |
| 34. | Harvey: A greybox fuzzer for smart contracts W\"ustholz, Valentin and Christakis, Maria. 2019. | |
| 35. | LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs Campanelli, Matteo and Fiore, Dario and Querol, Ana\"\is. 2019. | |
| 36. | Redactable blockchain in the permissionless setting Deuber, Dominic and Magri, Bernardo and Thyagarajan, Sri Aravinda Krishnan. 2019. | |
| 37. | Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof Jiaheng Zhang and Tiancheng Xie and Yupeng Zhang and Dawn Song. 2019. | |
| 38. | Proof-of-Burn Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2019. | |
| 39. | Binary quadratic forms Lipa Long. 2019. | |
| 40. | Threshold ECDSA from ECDSA Assumptions: The Multiparty Case Doerner, Jack and Kondi, Yashvanth and Lee, Eysa and Shelat, Abhi. 2019. | |
| 41. | VeriSolid: Correct-by-Design Smart Contracts for Ethereum Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek. 2019. | |
| 42. | DECO: Liberating Web Data Using Decentralized Oracles for TLS Zhang, Fan and Maram, Sai Krishna Deepak and Malvai, Harjasleen and Goldfeder, Steven and Juels, Ari. 2019. | |
| 43. | VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts So, Sunbeom and Lee, Myungho and Park, Jisu and Lee, Heejo and Oh, Hakjoo. 2019. | |
| 44. | SoK: Off The Chain Transactions Gudgeon, Lewis and McCorry, Patrick and Moreno-Sanchez, Pedro and Gervais, Arthur and Roos, Stefanie. 2019. | |
| 45. | Verifiable Delay Functions from Supersingular Isogenies and Pairings Luca De Feo and Simon Masson and Christophe Petit and Antonio Sanso. 2019. | |
| 46. | State Machine Replication in the Libra Blockchain Baudet, Mathieu and Ching, Avery and Chursin, Andrey and Danezis, George and Garillot, Fran\ccois and Li, Zekun and Malkhi, Dahlia and Naor, Oded and Perelman, Dmitri and Sonnino, Alberto. 2019. | |
| 47. | Flyclient: Super-Light Clients for Cryptocurrencies. B\"unz, Benedikt and Kiffer, Lucianna and Luu, Loi and Zamani, Mahdi. 2019. | |
| 48. | Scalable and Probabilistic Leaderless BFT Consensus through Metastability Rocket, Team and Yin, Maofan and Sekniqi, Kevin and van Renesse, Robbert and Sirer, Emin G\"un. 2019. | |
| 49. | Hyperservice: Interoperability and programmability across heterogeneous blockchains Liu, Zhuotao and Xiang, Yangxi and Shi, Jian and Gao, Peng and Wang, Haoyu and Xiao, Xusheng and Wen, Bihan and Hu, Yih-Chun. 2019. | |
| 50. | solc-verify: A Modular Verifier for Solidity Smart Contracts Hajdu, \'Akos and Jovanovi\'c, Dejan. 2019. | |
| 51. | Traceable Monero: Anonymous Cryptocurrency with Enhanced Accountability Li, Yannan and Yang, Guomin and Susilo, Willy and Yu, Yong and Au, Man Ho and Liu, Dongxi. 2019. | |
| 52. | 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. | |
| 53. | Homomorphic time-lock puzzles and applications Malavolta, Giulio and Thyagarajan, Sri Aravinda Krishnan. 2019. | |
| 54. | Exploiting the laws of order in smart contracts Kolluri, Aashish and Nikolic, Ivica and Sergey, Ilya and Hobor, Aquinas and Saxena, Prateek. 2019. | |
| 55. | FastKitten: Practical Smart Contracts on Bitcoin Das, Poulami and Eckey, Lisa and Frassetto, Tommaso and Gens, David and Host\'akov\'a, Kristina and Jauernig, Patrick and Faust, Sebastian and Sadeghi, Ahmad-Reza. 2019. | |
| 56. | Feistel Structures for MPC, and more Albrecht, Martin R and Grassi, Lorenzo and Perrin, L\'eo and Ramacher, Sebastian and Rechberger, Christian and Rotaru, Dragos and Roy, Arnab and Schofnegger, Markus. 2019. | |
| 57. | OptChain: Optimal Transactions Placement for Scalable Blockchain Sharding Nguyen, Lan N and Nguyen, TD and Dinh, Thang N and Thai, My T. 2019. | |
| 58. | Incentives in Ethereum's Hybrid Casper Protocol Buterin, Vitalik and Reijsbergen, Daniel and Leonardos, Stefanos and Piliouras, Georgios. 2019. | |
| 59. | Safer smart contract programming with Scilla Sergey, Ilya and Nagaraj, Vaivaswatha and Johannsen, Jacob and Kumar, Amrit and Trunov, Anton and Hao, Ken Chan Guan. 2019. | |
| 60. | BDoS: Blockchain Denial of Service Michael Mirkin and Yan Ji and Jonathan Pang and Ariah Klages-Mundt and Ittay Eyal and Ari Jules. 2019. | |
| 61. | Lay down the common metrics: Evaluating proof-of-work consensus protocols’ security Zhang, Ren and Preneel, Bart. 2019. | |
| 62. | Subvector commitments with application to succinct arguments Lai, Russell WF and Malavolta, Giulio. 2019. | |
| 63. | Atomic multi-channel updates with constant collateral in bitcoin-compatible payment-channel networks Egger, Christoph and Moreno-Sanchez, Pedro and Maffei, Matteo. 2019. | |
| 64. | RingCT 3.0 for Blockchain Confidential Transaction: Shorter Size and Stronger Security Tsz Hon Yuen and Shi-feng Sun and Joseph K. Liu and Man Ho Au and Muhammed F. Esgin and Qingzhao Zhang and Dawu Gu. 2019. | |
| 65. | Atomic commitment across blockchains Zakhary, Victor and Agrawal, Divyakant and Abbadi, Amr El. 2019. | |
| 66. | A survey on zero knowledge range proofs and applications Morais, Eduardo and Koens, Tommy and van Wijk, Cees and Koren, Aleksei. 2019. | |
| 67. | Dynamic-Committee Proactive Secret Sharing Maram, Sai Krishna Deepak and Zhang, Fan and Wang, Lun and Low, Andrew and Zhang, Yupeng and Juels, Ari and Song, Dawn. 2019. | |
| 68. | CHURP: Dynamic-Committee Proactive Secret Sharing. Maram, Sai Krishna Deepak and Zhang, Fan and Wang, Lun and Low, Andrew and Zhang, Yupeng and Juels, Ari and Song, Dawn. 2019. | |
| 69. | Proofs for Inner Pairing Products and Applications Benedikt Bünz and Mary Maller and Pratyush Mishra and Nirvan Tyagi and Psi Vesely. 2019. | |
| 70. | Multi-party virtual state channels Dziembowski, Stefan and Eckey, Lisa and Faust, Sebastian and Hesse, Julia and Host\'akov\'a, Kristina. 2019. | |
| 71. | Biased Nonce Sense: Lattice Attacks against Weak ECDSA Signatures in Cryptocurrencies Breitner, Joachim and Heninger, Nadia. 2019. | |
| 72. | zkay: Specifying and Enforcing Data Privacy in Smart Contracts Steffen, Samuel and Bichsel, Benjamin and Gersbach, Mario and Melchior, Noa and Tsankov, Petar and Vechev, Martin. 2019. | |
| 73. | Continuous verifiable delay functions Ephraim, Naomi and Freitag, Cody and Komargodski, Ilan and Pass, Rafael. 2019. | |
| 74. | On a Generalization of Substitution-Permutation Networks: The HADES Design Strategy Grassi, Lorenzo and L\"uftenegger, Reinhard and Rechberger, Christian and Rotaru, Dragos and Schofnegger, Markus. 2019. | |
| 75. | Cross-chain Deals and Adversarial Commerce Herlihy, Maurice and Liskov, Barbara and Shrira, Liuba. 2019. | |
| 76. | Analysis of Nakamoto Consensus Ling Ren. 2019. | |
| 77. | On the Practicality of Smart Contract PKI Patsonakis, Christos and Samari, Katerina and Kiayias, Aggelos and Roussopoulos, Mema. 2019. | |
| 78. | Interledger Approaches Siris, Vasilios A and Nikander, Pekka and Voulgaris, Spyros and Fotiou, Nikos and Lagutin, Dmitrij and Polyzos, George C. 2019. | |
| 79. | Algebraic cryptanalysis of STARK-friendly designs: application to MARVELlous and MiMC Albrecht, Martin R and Cid, Carlos and Grassi, Lorenzo and Khovratovich, Dmitry and L\"uftenegger, Reinhard and Rechberger, Christian and Schofnegger, Markus. 2019. | |
| 80. | DeXTT: Deterministic Cross-Blockchain Token Transfers Borkowski, Michael and Sigwart, Marten and Frauenthaler, Philipp and Hukkinen, Taneli and Schulte, Stefan. 2019. | |
| 81. | Scaling Verifiable Computation Using Efficient Set Accumulators Alex Ozdemir and Riad S. Wahby and Dan Boneh. 2019. | |
| 82. | SquirRL: Automating Attack Discovery on Blockchain Incentive Mechanisms with Deep Reinforcement Learning Hou, Charlie and Zhou, Mingxun and Ji, Yan and Daian, Phil and Tramer, Florian and Fanti, Giulia and Juels, Ari. 2019. | |
| 83. | Two-party ECDSA from hash proof systems and efficient instantiations Castagnos, Guilhem and Catalano, Dario and Laguillaumie, Fabien and Savasta, Federico and Tucker, Ida. 2019. | |
| 84. | On the difficulty of hiding the balance of lightning network channels HERRERA-JOANCOMARTI, Jordi and Navarro-Arribas, Guillermo and Ranchal Pedrosa, Alejandro and Cristina, Perez-Sola and Garcia-Alfaro, Joaquin. 2019. | |
| 85. | Erlay: Efficient transaction relay for bitcoin Naumenko, Gleb and Maxwell, Gregory and Wuille, Pieter and Fedorova, Alexandra and Beschastnikh, Ivan. 2019. | |
| 86. | Fast and simple constant-time hashing to the BLS12-381 elliptic curve Wahby, Riad S and Boneh, Dan. 2019. | |
| 87. | Succinct Arguments in the Quantum Random Oracle Model Alessandro Chiesa and Peter Manohar and Nicholas Spooner. 2019. | |
| 88. | Broken Metre: Attacking Resource Metering in EVM Daniel Perez and Benjamin Livshits. 2019. | |
| 89. | StableSwap-efficient mechanism for Stablecoin liquidity Egorov, Michael. 2019. | |
| 90. | Pixel: Multi-signatures for Consensus Manu Drijvers and Sergey Gorbunov and Gregory Neven and Hoeteck Wee. 2019. | |
| 91. | Kadcast: A Structured Approach to Broadcast in Blockchain Networks Rohrer, Elias and Tschorsch, Florian. 2019. | |
| 92. | Towards a Functional Fee Market for Cryptocurrencies Soumya Basu and David Easley and Maureen O'Hara and Emin Gün Sirer. 2019. | |
| 93. | Privacy-preserving auditable token payments in a permissioned blockchain system Elli Androulaki and Jan Camenisch and Angelo De Caro and Maria Dubovitskaya and Kaoutar Elkhiyaoui and Bjoern Tackmann. 2019. | |
| 94. | Power Adjusting and Bribery Racing: Novel Mining Attacks in the Bitcoin System Gao, Shang and Li, Zecheng and Peng, Zhe and Xiao, Bin. 2019. | |
| 95. | Polygraph: Accountable Byzantine Agreement Civit, Pierre and Gilbert, Seth and Gramoli, Vincent. 2019. | |
| 96. | OptiSwap: Fast Optimistic Fair Exchange Lisa Eckey and Sebastian Faust and Benjamin Schlosser. 2019. | |
| 97. | Transparency Logs via Append-Only Authenticated Dictionaries Tomescu, Alin and Bhupatiraju, Vivek and Papadopoulos, Dimitrios and Papamanthou, Charalampos and Triandopoulos, Nikos and Devadas, Srinivas. 2019. | |
| 98. | Omniring: Scaling Up Private Payments Without Trusted Setup Lai, Russell WF and Ronge, Viktoria and Ruffing, Tim and Schr\"oder, Dominique and Thyagarajan, Sri Aravinda Krishnan and Wang, Jiafan. 2019. | |
| 99. | Partitioning Attacks on Bitcoin: Colliding Space, Time and Logic Saad, Muhammad and Cook, Victor and Nguyen, Lan and Thai, My T and Mohaisen, Aziz. 2019. | |
| 100. | Replay Attacks and Defenses against Cross-shard Consensus in Sharded Distributed Ledgers Sonnino, Alberto and Bano, Shehar and Al-Bassam, Mustafa and Danezis, George. 2019. | |
| 101. | Synchronous, with a Chance of Partition Tolerance. Guo, Yue and Pass, Rafael and Shi, Elaine. 2019. | |
| 102. | On the optionality and fairness of Atomic Swaps Han, Runchao and Lin, Haoyu and Yu, Jiangshan. 2019. | |
| 103. | SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies Maxim Jourenko and Kanta Kurazumi and Mario Larangeira and Keisuke Tanaka. 2019. | |
| 104. | StrongChain: Transparent and Collaborative Proof-of-Work Consensus Szalachowski, Pawel and Reijsbergen, Dani\"el and Homoliak, Ivan and Sun, Siwei. 2019. | |
| 105. | Vault: Fast Bootstrapping for the Algorand Cryptocurrency. Leung, Derek and Suhl, Adam and Gilad, Yossi and Zeldovich, Nickolai. 2019. | |
| 106. | Cerberus Channels: Incentivizing Watchtowers for Bitcoin Georgia Avarikioti and Orfeas Stefanos Thyfronitis Litos and Roger Wattenhofer. 2019. | |
| 107. | Temporary censorship attacks in the presence of rational miners Winzer, Fredrik and Herd, Benjamin and Faust, Sebastian. 2019. | |
| 108. | Introduction to the Tezos Blockchain Allombert, Victor and Bourgoin, Mathias and Tesson, Julien. 2019. | |
| 109. | Precise Attack Synthesis for Smart Contracts Feng, Yu and Torlak, Emina and Bodik, Rastislav. 2019. | |
| 110. | Simple Proofs of Space-Time and Rational Proofs of Storage Moran, Tal and Orlov, Ilan. 2019. | |
| 111. | Cascading Machine Learning to Attack Bitcoin Anonymity Zola, Francesco and Eguimendia, Maria and Bruse, Jan Lukas and Urrutia, Raul Orduna. 2019. | |
| 112. | A Formal Treatment of Deterministic Wallets Das, Poulami and Faust, Sebastian and Loss, Julian. 2019. | |
| 113. | 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. | |
| 114. | The Chia Network Blockchain Cohen, Bram and Pietrzak, Krzysztof. 2019. | |
| 115. | A Composable Security Treatment of the Lightning Network Aggelos Kiayias and Orfeas Stefanos Thyfronitis Litos. 2019. | |
| 116. | LockDown: Balance Availability Attack against Lightning Network Channels Cristina Pérez-Solà and Alejandro Ranchal-Pedrosa and Jordi Herrera-Joancomartí and Guillermo Navarro-Arribas and Joaquin Garcia-Alfaro. 2019. | |
| 117. | Privacy Aspects and Subliminal Channels in Zcash Biryukov, Alex and Feher, Daniel and Vitto, Giuseppe. 2019. | |
| 118. | Empirically Analyzing Ethereum's Gas Mechanism Yang, Renlord and Murray, Toby and Rimba, Paul and Parampalli, Udaya. 2019. | |
| 119. | Cogsworth: Byzantine View Synchronization Naor, Oded and Baudet, Mathieu and Malkhi, Dahlia and Spiegelman, Alexander. 2019. | |
| 120. | On Sharding Permissioned Blockchains. Amiri, Mohammad Javad and Agrawal, Divyakant. 2019. | |
| 121. | ETHDKG: Distributed Key Generation with Ethereum Smart Contracts Philipp Schindler and Aljosha Judmayer and Nicholas Stifter and Edgar Weippl. 2019. | |
| 122. | Deviant: A Mutation Testing Tool for Solidity Smart Contracts Chapman, Patrick. 2019. | |
| 123. | Utreexo: A dynamic hash-based accumulator optimized for the Bitcoin UTXO set Dryja, Thaddeus. 2019. | |
| 124. | Efficient zero-knowledge arguments in the discrete log setting, revisited Max Hoffmann and Michael Klooß and Andy Rupp. 2019. | |
| 125. | Hijacking Routes in Payment Channel Networks: A Predictability Tradeoff Saar Tochner and Stefan Schmid and Aviv Zohar. 2019. | |
| 126. | 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. | |
| 127. | Cryptanalysis of Curl-P and Other Attacks on the IOTA Cryptocurrency. Heilman, Ethan and Narula, Neha and Tanzer, Garrett and Lovejoy, James and Colavita, Michael and Virza, Madars and Dryja, Tadge. 2019. | |
| 128. | SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies Azouvi, Sarah and Hicks, Alexander. 2019. | |
| 129. | Terra Money: Stability and Adoption Kereiakes, Evan and Do Kwon, Marco Di Maggio and Platias, Nicholas. 2019. | |
| 130. | What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? Groce, Alex and Feist, Josselin and Grieco, Gustavo and Colburn, Michael. 2019. | |
| 131. | 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. | |
| 132. | RedShift: Transparent SNARKs from List Polynomial Commitment IOPs Assimakis Kattis and Konstantin Panarin and Alexander Vlasov. 2019. | |
| 133. | Just the Tip of the Iceberg: Internet-Scale Exploitation of Routers for Cryptojacking Bijmans, Hugo LJ and Booij, Tim M and Doerr, Christian. 2019. | |
| 134. | A Formal Treatment of Hardware Wallets Arapinis, Myrto and Gkaniatsou, Andriana and Karakostas, Dimitris and Kiayias, Aggelos. 2019. | |
| 135. | (In) Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks Klages-Mundt, Ariah and Minca, Andreea. 2019. | |
| 136. | Balance: Dynamic Adjustment of Cryptocurrency Deposits Harz, Dominik and Gudgeon, Lewis and Gervais, Arthur and Knottenbelt, William J. 2019. | |
| 137. | Simulation-Extractable SNARKs Revisited Lipmaa, Helger. 2019. | |
| 138. | TEX - A Securely Scalable Trustless Exchange Rami Khalil and Arthur Gervais and Guillaume Felley. 2019. | |
| 139. | WI Is Not Enough: Zero-Knowledge Contingent (Service) Payments Revisited Georg Fuchsbauer. 2019. | |
| 140. | ZETH: On Integrating Zerocash on Ethereum Rondelet, Antoine and Zajac, Michal. 2019. | |
| 141. | Afgjort: A Partially Synchronous Finality Layer for Blockchains Bernardo Magri and Christian Matt and Jesper Buus Nielsen and Daniel Tschudi. 2019. | |
| 142. | DLSAG: Non-Interactive Refund Transactions For Interoperable Payment Channels in Monero Moreno-Sanchez, Pedro and Le, Duc V and Noether, Sarang and Goodell, Brandon and Kate, Aniket. 2019. | |
| 143. | Tight Verifiable Delay Functions D\"ottling, Nico and Garg, Sanjam and Malavolta, Giulio and Nalini, Prashant. 2019. | |
| 144. | Practical Mutation Testing for Smart Contracts Honig, Joran J and Everts, Maarten H and Huisman, Marieke. 2019. | |
| 145. | Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts Bernardo, Bruno and Cauderlier, Rapha\"el and Hu, Zhenlei and Pesin, Basile and Tesson, Julien. 2019. | |
| 146. | A percolation model for the emergence of the Bitcoin Lightning Network Bartolucci, Silvia and Caccioli, Fabio and Vivo, Pierpaolo. 2019. | |
| 147. | Homomorphic Encryption Random Beacon Alisa Cherniaeva and Ilia Shirobokov and Omer Shlomovits. 2019. | |
| 148. | Developing secure Bitcoin contracts with BitML Atzei, Nicola and Bartoletti, Massimo and Lande, Stefano and Yoshida, Nobuko and Zunino, Roberto. 2019. | |
| 149. | Verkle trees Kuszmaul, John. 2019. | |
| 150. | Dispute Resolution for Smart Contract-based Two-Party Protocols Wagner, Eric and V\"olker, Achim and Fuhrmann, Frederik and Matzutt, Roman and Wehrle, Klaus. 2019. | |
| 151. | Brick: Asynchronous State Channels Avarikioti, Georgia and Kogias, Eleftherios Kokoris and Wattenhofer, Roger. 2019. | |
| 152. | Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices Yashvanth Kondi and Bernardo Magri and Claudio Orlandi and Omer Shlomovits. 2019. | |
| 153. | On the security of the BCTV Pinocchio zk-SNARK variant Gabizon, Ariel. 2019. | |
| 154. | LazyLedger: A Distributed Data Availability Ledger With Client-Side Smart Contracts Al-Bassam, Mustafa. 2019. | |
| 155. | A true concurrent model of smart contracts executions Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | |
| 156. | zk-SNARKs: A Gentle Introduction Nitulescu, Anca. 2019. | |
| 157. | Zlite: Lightweight clients for shielded zcash transactions using trusted execution W\"ust, Karl and Matetic, Sinisa and Schneider, Moritz and Miers, Ian and Kostiainen, Kari and \vCapkun, Srdjan. 2019. | |
| 158. | A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | |
| 159. | Anonymous Transactions with Revocation and Auditing in Hyperledger Fabric Dmytro Bogatov and Angelo De Caro and Kaoutar Elkhiyaoui and Björn Tackmann. 2019. | |
| 160. | A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | |
| 161. | Scalable distributed random number generation based on homomorphic encryption Nguyen-Van, Thanh and Nguyen-Anh, Tuan and Le, Tien-Dat and Nguyen-Ho, Minh-Phuoc and Nguyen-Van, Tuong and Le, Nhat-Quang and Nguyen-An, Khuong. 2019. | |
| 162. | Transparent Polynomial Commitment Scheme with Polylogarithmic Communication Complexity Alexander Vlasov and Konstantin Panarin. 2019. | |
| 163. | Audita: A Blockchain-based Auditing Framework for Off-chain Storage Francati, Danilo and Ateniese, Giuseppe and Faye, Abdoulaye and Milazzo, Andrea Maria and Perillo, Angelo Massimo and Schiatti, Luca and Giordano, Giuseppe. 2019. | |
| 164. | UC-Secure CRS Generation for SNARKs Behzad Abdolmaleki and Karim Baghery and Helger Lipmaa and Janno Siim and Michal Zajac. 2019. | |
| 165. | Incremental proofs of sequential work D\"ottling, Nico and Lai, Russell WF and Malavolta, Giulio. 2019. | |
| 166. | Effective Cryptocurrency Regulation Through Blacklisting M\"oser, Malte and Narayanan, Arvind. 2019. | |
| 167. | Winkle: Foiling Long-Range Attacks in Proof-of-Stake Systems Sarah Azouvi and George Danezis and Valeria Nikolaenko. 2019. | |
| 168. | On cycles of pairing-friendly elliptic curves Chiesa, Alessandro and Chua, Lynn and Weidner, Matthew. 2019. | |
| 169. | Selfish Behavior in the Tezos Proof-of-Stake Protocol Neuder, Michael and Moroz, Daniel J and Rao, Rithvik and Parkes, David C. 2019. | |
| 170. | Proof-of-Prestige: A Useful Work Reward System for Unverifiable Tasks Kr\'ol, Micha\l and Sonnino, Alberto and Al-Bassam, Mustafa and Tasiopoulos, Argyrios and Psaras, Ioannis. 2019. | |
| 171. | The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains Blum, Erica and Kiayias, Aggelos and Moore, Cristopher and Quader, Saad and Russell, Alexander. 2019. | |
| 172. | SAVER: Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization Jiwon Lee and Jaekyoung Choi and Jihye Kim and Hyunok Oh. 2019. | |
| 173. | AuroraLight: Improved prover efficiency and SRS size in a Sonic-like system Gabizon, Ariel. 2019. | |
| 174. | Simulation Extractability in Groth’s zk-SNARK Atapoor, Shahla and Baghery, Karim. 2019. | |
| 175. | Scalable lightning factories for Bitcoin Alejandro Ranchal Pedrosa and Maria Potop-Butucaru and Sara Tucci Piergiovanni. 2019. | |
| 176. | Lightning Factories Pedrosa, Alejandro Ranchal and Potop-Butucaru, Maria and Tucci-Piergiovanni, Sara. 2019. | |
| 177. | Who Spent My EOS? On the (In) Security of Resource Management of EOS. IO Lee, Sangsup and Kim, Daejun and Kim, Dongkwan and Son, Sooel and Kim, Yongdae. 2019. | |
| 178. | Applying Private Information Retrieval to Lightweight Bitcoin Clients Qin, Kaihua and Hadass, Henryk and Gervais, Arthur and Reardon, Joel. 2019. | |
| 179. | SIMS : Self Sovereign Identity Management System with Preserving Privacy in Blockchain Jeonghyuk Lee and Jungyeon Hwang and Jaekyung Choi and Hyunok Oh and Jihye Kim. 2019. | |
| 180. | On the efficiency of privacy-preserving smart contract systems Baghery, Karim. 2019. | |
| 181. | Building Scalable Decentralized Payment Systems Adler, John and Quintyne-Collins, Mikerah. 2019. | |
| 182. | Founding Secure Computation on Blockchains Choudhuri, Arka Rai and Goyal, Vipul and Jain, Abhishek. 2019. | |
| 183. | Rationality is Self-Defeating in Permissionless Systems Ford, Bryan and B\"ohme, Rainer. 2019. | |
| 184. | Smart Contract Interactions in Coq Nielsen, Jakob Botsch and Spitters, Bas. 2019. | |
| 185. | Subversion-Resistant Simulation (Knowledge) Sound NIZKs Karim Baghery. 2019. | |
| 186. | Reversible Proofs of Sequential Work Abusalah, Hamza and Kamath, Chethan and Klein, Karen and Pietrzak, Krzysztof and Walter, Michael. 2019. | |
| 187. | On the (In)security of Kilian-Based SNARGs James Bartusek and Liron Bronfman and Justin Holmgren and Fermi Ma and Ron Rothblum. 2019. | |
| 188. | Compact Storage of Superblocks for NIPoPoW Applications Kostis Karantias and Aggelos Kiayias and Nikos Leonardos and Dionysis Zindros. 2019. | |
| 189. | Ace: Abstract consensus encapsulation for liveness boosting of state machine replication Spiegelman, Alexander and Rinberg, Arik. 2019. | |
| 190. | ABC: Asynchronous Blockchain without Consensus Sliwinski, Jakub and Wattenhofer, Roger. 2019. | |
| 191. | SoK: Blockchain Technology and Its Potential Use Cases Ruoti, Scott and Kaiser, Ben and Yerukhimovich, Arkady and Clark, Jeremy and Cunningham, Robert. 2019. | |
| 192. | Collisions on Feistel-MiMC and univariate GMiMC Bonnetain, Xavier. 2019. | |
| 193. | Competitive equilibria between staking and on-chain lending Chitra, Tarun. 2019. | |
| 194. | Consensus through Herding Chan, TH Hubert and Pass, Rafael and Shi, Elaine. 2019. | |
| 195. | A Tale of Three Signatures: practical attack of ECDSA with wNAF Gabrielle De Micheli and Rémi Piau and Cécile Pierrot. 2019. | |
| 196. | Refinement and Verification of CBC Casper Nakamura, Ryuya and Jimba, Takayuki and Harz, Dominik. 2019. | |
| 197. | Lattice-Based Zero-Knowledge SNARGs for Arithmetic Circuits Nitulescu, Anca. 2019. | |
| 198. | A Tale of Two Trees: One Writes, and Other Reads Le, Duc V and Hurtado, Lizzy Tengana and Ahmad, Adil and Minaei, Mohsen and Lee, Byoungyoung and Kate, Aniket. 2019. | |
| 199. | Efficient Non-Interactive Zero-Knowledge Proofs in Cross-Domains Without Trusted Setup Backes, Michael and Hanzlik, Lucjan and Herzberg, Amir and Kate, Aniket and Pryvalov, Ivan. 2019. | |
| 200. | On Profitability of Nakamoto double spend Grunspan, Cyril and P\'erez-Marco, Ricardo. 2019. | |
| 201. | Arcula: A Secure Hierarchical Deterministic Wallet for Multi-asset Blockchains Di Luzio, Adriano and Francati, Danilo and Ateniese, Giuseppe. 2019. | |
| 202. | Statistical model checking of RANDAO’s resilience to pre-computed reveal strategies Alturki, Musab A and Ro\csu, Grigore. 2019. | |
| 203. | Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol Betarte, Gustavo and Cristi\'a, Maximiliano and Luna, Carlos and Silveira, Adri\'an and Zanarini, Dante. 2019. | |
| 204. | Bandwidth-Efficient Transaction Relay for Bitcoin Naumenko, Gleb and Maxwell, Gregory and Wuille, Pieter and Fedorova, Sasha and Beschastnikh, Ivan. 2019. | |
| 205. | Smartanvil: Open-source tool suite for smart contract analysis Ducasse, St\'ephane and Rocha, Henrique and Bragagnolo, Santiago and Denker, Marcus and Francomme, Cl\'ement. 2019. | |
| 206. | Coalition-Safe Equilibria with Virtual Payoffs Kiayias, Aggelos and Stouka, Aikaterini-Panagiota. 2019. | |
| 207. | MProve: A Proof of Reserves Protocol for Monero Exchanges Dutta, Arijit and Vijayakumaran, Saravanan. 2019. | |
| 208. | Characterizing Orphan Transactions in the Bitcoin Network Imtiaz, Muhammad Anas and Starobinski, David and Trachtenberg, Ari. 2019. | |
| 209. | Unraveling recursion: compiling an IR with recursion to system F Jones, Michael Peyton and Gkoumas, Vasilis and Kireev, Roman and MacKenzie, Kenneth and Nester, Chad and Wadler, Philip. 2019. | |
| 210. | SAMPL: Scalable Auditability of Monitoring Processes using Public Ledgers Panwar, Gaurav and Vishwanathan, Roopa and Misra, Satyajayant and Bos, Austin. 2019. | |
| 211. | Timed Signatures and Zero-Knowledge Proofs -Timestamping in the Blockchain Era- Aydin Abadi and Michele Ciampi and Aggelos Kiayias and Vassilis Zikas. 2019. | |
| 212. | Contingent payments on a public ledger: models and reductions for automated verification. Bursuc, Sergiu and Kremer, Steve. 2019. | |
| 213. | Functional blockchain contracts Chakravarty, Manuel and Kireev, Roman and MacKenzie, Kenneth and McHale, Vanessa and M\"uller, Jann and Nemish, Alexander and Nester, Chad and Jones, Michael Peyton and Thompsona, Simon and Valentine, Rebecca and others. 2019. | |
| 214. | Atomic Cross-Chain Swaps with Improved Space and Time Complexity Imoto, Soichiro and Sudo, Yuichi and Kakugawa, Hirotsugu and Masuzawa, Toshimitsu. 2019. | |
| 215. | Two-Party State Channels with Assertions Corry, Patrick Buckland, Chris. 2019. | |
| 216. | The Bitcoin Backbone Protocol Against Quantum Adversaries Alexandru Cojocaru and Juan Garay and Aggelos Kiayias and Fang Song and Petros Wallden. 2019. | |
| 217. | ShareLock: Mixing for Cryptocurrencies from Multiparty ECDSA Shlomovits, Omer and Seres, Istv\'an Andr\'as. 2019. | |
| 218. | Continuous Space-Bounded Non-Malleable Codes from Stronger Proofs-of-Space Binyi Chen and Yilei Chen and Kristina Hostáková and Pratyay Mukherjee. 2019. | |
| 219. | Towards declarative smart contracts Purnell, Kevin and Schwitter, Rolf. 2019. | |
| 220. | FloodXMR: Low-cost transaction flooding attack with Monero's bulletproof protocol. Chervinski, Joao Ot\'avio Massari and Kreutz, Diego and Yu, Jiangshan. 2019. | |
| 221. | Digital Signatures for Consensus. Gorbunov, Sergey and Wee, Hoeteck. 2019. | |
| 222. | Faster Subgroup Checks for BLS12-381 Bowe, Sean. 2019. | |
| 223. | Platypus: a Partially Synchronous Offchain Protocol for Blockchains Ranchal-Pedrosa, Alejandro and Gramoli, Vincent. 2019. | |
| 224. | Cross-Chain Payment Protocols with Success Guarantees van Glabbeek, Rob and Gramoli, Vincent and Tholoniat, Pierre. 2019. | |
| 225. | Linear consistency for proof-of-stake blockchains Blum, Erica and Kiayias, Aggelos and Moore, Cristopher and Quader, Saad and Russell, Alexander. 2019. | |
| 226. | Incentives Don't Solve Blockchain's Problems Ketsdever, Shea and Fischer, Michael J. 2019. | |
| 227. | FastSwap: Concretely Efficient Contingent Payments for Complex Predicates Mathias Hall-Andersen. 2019. | |
| 228. | Extending the anonymity of zcash Kappos, George and Piotrowska, Ania M. 2019. | |
| 229. | Efficient fair multiparty protocols using Blockchain and trusted hardware Paul, Souradyuti and Shrivastava, Ananya. 2019. | |
| 230. | An Alternative Paradigm for Developing and Pricing Storage on Smart Contract Platforms Patsonakis, Christos and Roussopoulos, Mema. 2019. | |
| 231. | Bitcontracts: Adding Expressive Smart Contracts to Legacy Cryptocurrencies Karl Wüst and Loris Diana and Kari Kostiainen and Ghassan Karame and Sinisa Matetic and Srdjan Capkun. 2019. | |
| 232. | Running on Fumes Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya. 2019. | |
| 233. | A Smart Contract Refereed Data Retrieval Protocol with a Provably Low Collateral Requirement James Shook and Scott Simon and Peter Mell. 2019. | |
| 234. | Nummatus: A Privacy Preserving Proof of Reserves Protocol for Quisquis Dutta, Arijit and Jana, Arnab and Vijayakumaran, Saravanan. 2019. | |
| 235. | The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains Vincenzo Botta and Daniele Friolo and Daniele Venturi and Ivan Visconti. 2019. | |
| 236. | PING and REJECT:The Impact of Side-Channels on Zcash Privacy Florian Tramèr and Dan Boneh and Kenneth G. Paterson. 2019. | |
| 237. | Mapping finite state machines to zk-SNARKS Using Category Theory Genovese, Fabrizio and Knispel, Andre and Fitzgerald, Joshua. 2019. | |
| 238. | Starkad and Poseidon: New Hash Functions for Zero Knowledge Proof Systems. Grassi, Lorenzo and Kales, Daniel and Khovratovich, Dmitry and Roy, Arnab and Rechberger, Christian and Schofnegger, Markus. 2019. | |
| 239. | ZKProof Community Reference ZKProofStandards. 2019. | |
| 240. | Practical Zero-Knowledge Arguments from Structured Reference Strings Maller, Mary. 2019. | |
| 241. | Bootstrapping a stable computation token Teutsch, Jason and M\"akel\"a, Sami and Bakshi, Surya. 2019. | |
| 242. | 12 Angry Miners Eghbali, Aryaz and Wattenhofer, Roger. 2019. | |
| 243. | A Formal Analysis of Blockchain Consensus Laneve, Cosimo and Veschetti, Adele. 2019. | |
| 244. | Hydra: A Multiple Blockchain Protocol for Improving Transaction Throughput G\"undlach, Rowel and Hoepman, Jaap-Henk and van der Hofstad, Remco and Koens, Tommy and Meijer, Stijn. 2019. | |
| 245. | Iterated Search Problems and Blockchain Security under Falsifiable Assumptions Garay, Juan A and Kiayias, Aggelos and Panagiotakos, Giorgos. 2019. | |
| 246. | Pay-To-Win: Incentive Attacks on Proof-of-Work Cryptocurrencies Aljosha Judmayer and Nicholas Stifter and Alexei Zamyatin and Itay Tsabary and Ittay Eyal and Peter Gazi and Sarah Meiklejohn and Edgar Weippl. 2019. | |
| 247. | Extending the Anonymity of Zcash George Kappos and Ania M. Piotrowska. 2019. | |
| 248. | Toychain: Formally Verified Blockchain Consensus George P\^ırlea. 2019. | |
| 249. | Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability Giulio Malavolta and Pedro Moreno-Sanchez and Clara Schneidewind and Aniket Kate and Matteo Maffei. 2019. | |
| 250. | Ostraka: Secure Blockchain Scaling by Node Sharding Alex Manuskin and Michael Mirkin and Ittay Eyal. 2019. | |
| 251. | ACE: Asynchronous and Concurrent Execution of Complex Smart Contracts Karl Wüst and Sinisa Matetic and Silvan Egli and Kari Kostiainen and Srdjan Capkun. 2019. | |
| 252. | Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake Christian Badertscher and Peter Gaži and Aggelos Kiayias and Alexander Russell and Vassilis Zikas. 2019. | |
| 253. | Fractal: A New Paradigm for High-Performance Proof-of-Stake Blockchains Zhou, Hong-Sheng. 2019. | |
| 254. | NOCUST--A Securely Scalable Commit-Chain Khalil, Rami and Gervais, Arthur and Felley, Guillaume. 2019. | |
| 255. | OCEAN: A Built-In Replacement for Mining Pools Raymond Chee and Kartik Chitturi and Edouard Dufour-Sans and Kyle Soska. 2019. | |
| 256. | Afgjort--A Semi-Synchronous Finality Layer for Blockchains Magri, Bernardo and Matt, Christian and Nielsen, Jesper Buus and Tschudi, Daniel. 2019. | |
| 257. | 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. | |
| 258. | Short Paper: Towards Characterizing Sybil Attacks in Cryptocurrency Mixers Mikerah Quintyne-Collins. 2019. | |
| 259. | Prism: Scaling Bitcoin by 10,000 x Yang, Lei and Bagaria, Vivek and Wang, Gerui and Alizadeh, Mohammad and Tse, David and Fanti, Giulia and Viswanath, Pramod. 2019. | |
| 260. | Gas limit aware mutation testing of smart contracts at scale Hartel, Pieter and Schumi, Richard. 2019. | |
| 261. | TULIP: A Fully Incentive Compatible Blockchain Framework Amortizing Redundant Communication Ersoy, Oguzhan and Zekeriya, Erkin and Lagendijk, Reginald L. 2019. | |
| 262. | Barracuda: The Power of $$\backslash$ell $-polling in Proof-of-Stake Blockchains Fanti, Giulia and Jiao, Jiantao and Makkuva, Ashok and Oh, Sewoong and Rana, Ranvir and Viswanath, Pramod. 2019. | |
| 263. | A Large-Scale Proof-of-Stake Blockchain in the Open Setting Fan, Lei and Katz, Jonathan and Zhou, Hong-Sheng. 2019. | |
| 264. | BackPackers: A New Network Paradigm for Secure and High-performance Blockchains Thai, Phuc D and Zhou, Hong-sheng and Katz, Jonathan and Fan, Lei and Dinh, Thang N. 2019. | |
| 265. | Divide and Scale: Formalization of Distributed Ledger Sharding Protocols Avarikioti, Georgia and Kokoris-Kogias, Eleftherios and Wattenhofer, Roger. 2019. | |
| 266. | Updatable CRS Simulation-Extractable zk-SNARKs with a Single Verification Kim, Jihye and Lee, Jiwon and Oh, Hyunok. 2019. | |
| 267. | 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. | |
| 268. | Just Enough Security: Reducing Proof-of-Work Ecological Footprint Tsabary, Itay and Spiegelman, Alexander and Eyal, Ittay. 2019. | |
| 269. | Verifiable Computation using Smart Contracts Avizheh, Sepideh and Nabi, Mahmudun and Safavi-Naini, Reihaneh and Venkateswarlu K, Muni. 2019. | |
| 270. | {\AE}GIS: Smart Shielding of Smart Contracts Ferreira Torres, Christof and Baden, Mathis and Norvill, Robert and Jonker, Hugo. 2019. | |
| 271. | On Privacy Preserving Blockchains and zk-SNARKs Atapoor, Shahla. 2019. | |
| 272. | Compact linkable ring signatures and applications Goodell, Brandon and Noether, Sarang and Blue, Arthur. 2019. | |
| 273. | A 2 L: Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs Tairi, Erkan and Moreno-Sanchez, Pedro and Maffei, Matteo. 2019. | |
| 274. | Lattice RingCT v2.0 with Multiple Input and Output Wallets Wilson Alberto Torres and Veronika Kuchta and Ron Steinfeld and Amin Sakzad and Joseph K. Liu and Jacob Cheng. 2019. | |
| 275. | Fast, Private, Flexible Blockchain Contracts ZkVM Oleg Andreev and Bob Glickstein and Vicki Niu and Tess Rinearson and Debnil Sur and Cathie Yun. 2019. | |
| 276. | DEEP-FRI: Sampling Outside the Box Improves Soundness Eli Ben-Sasson and Lior Goldberg and Swastik Kopparty and Shubhangi Saraf. 2019. | |
| 277. | Computation Verification for Noobs Riabzev, Michael and Ben-Sasson, Eli and Ishai, Yuval. 2019. | |
| 278. | Privacy and linkability of mining in zcash Biryukov, Alex and Feher, Daniel. 2019. | |
| 279. | Kyber: An On-Chain Liquidity Protocol Kyber. 2019. | |
| 280. | Platypus: Offchain protocol without synchrony Ranchal-Pedrosa, Alejandro and Gramoli, Vincent. 2019. |
Videos
–
Links
–