applications 
Papers (113)
| # | Title | |
| 1. | Blockchains and smart contracts for the internet of things Christidis, Konstantinos and Devetsikiotis, Michael. 2016. | |
| 2. | Town crier: An authenticated data feed for smart contracts Zhang, Fan and Cecchetti, Ethan and Croman, Kyle and Juels, Ari and Shi, Elaine. 2016. | |
| 3. | A smart contract for boardroom voting with maximum voter privacy McCorry, Patrick and Shahandashti, Siamak F and Hao, Feng. 2017. | |
| 4. | Verifiable Delay Functions Dan Boneh, Joseph Bonneau, Benedikt Bünz, Ben Fisch. 2018. | |
| 5. | Centrally banked cryptocurrencies Danezis, George and Meiklejohn, Sarah. 2015. | |
| 6. | SBFT: a Scalable and Decentralized Trust Infrastructure Gueta, Guy Golan and Abraham, Ittai and Grossman, Shelly and Malkhi, Dahlia and Pinkas, Benny and Reiter, Michael K and Seredinschi, Dragos-Adrian and Tamir, Orr and Tomescu, Alin. 2018. | |
| 7. | 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. | |
| 8. | A Decentralized Public Key Infrastructure with Identity Retention. Fromknecht, Conner and Velicanu, Dragos and Yakoubov, Sophia. 2014. | |
| 9. | SCPKI: A smart contract-based PKI and identity system Al-Bassam, Mustafa. 2017. | |
| 10. | The ring of gyges: Investigating the future of criminal smart contracts Juels, Ari and Kosba, Ahmed and Shi, Elaine. 2016. | |
| 11. | Astraea: A decentralized blockchain oracle Adler, John and Berryhill, Ryan and Veneris, Andreas and Poulos, Zissis and Veira, Neil and Kastania, Anastasia. 2018. | |
| 12. | On Bitcoin as a public randomness source. Bonneau, Joseph and Clark, Jeremy and Goldfeder, Steven. 2015. | |
| 13. | ZoKrates - Scalable Privacy-Preserving Off-Chain Computations Jacob Eberhardt and Stefan Tai. 2018. | |
| 14. | FairSwap: How to fairly exchange digital goods Dziembowski, Stefan and Eckey, Lisa and Faust, Sebastian. 2018. | |
| 15. | zkLedger: Privacy-Preserving Auditing for Distributed Ledgers Neha Narula and Willy Vasquez and Madars Virza. 2018. | |
| 16. | Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services Matteo Campanelli and Rosario Gennaro and Steven Goldfeder and Luca Nizzardo. 2017. | |
| 17. | SMART POOL : Practical Decentralized Pooled Mining Luu, Loi and Velner, Yaron and Teutsch, Jason and Saxena, Prateek. 2017. | |
| 18. | How to use bitcoin to play decentralized poker Kumaresan, Ranjit and Moran, Tal and Bentov, Iddo. 2015. | |
| 19. | Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers Sonnino, Alberto and Al-Bassam, Mustafa and Bano, Shehar and Danezis, George. 2018. | |
| 20. | Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge. Tramer, Florian and Zhang, Fan and Lin, Huang and Hubaux, Jean-Pierre and Juels, Ari and Shi, Elaine. 2016. | |
| 21. | 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. | |
| 22. | 0x: An open protocol for decentralized exchange on the Ethereum blockchain Warren, Will and Bandeali, Amir. 2017. | |
| 23. | Provisions: Privacy-preserving Proofs of Solvency for Bitcoin Exchanges Dagher, Gaby G and Bünz, Benedikt and Bonneau, Joseph and Clark, Jeremy and Boneh, Dan. 2015. | |
| 24. | Liar, liar, coins on fire!: Penalizing equivocation by loss of bitcoins Ruffing, Tim and Kate, Aniket and Schr\"oder, Dominique. 2015. | |
| 25. | Strain: A Secure Auction for Blockchains Erik-Oliver Blass and Florian Kerschbaum. 2017. | |
| 26. | EthIKS: Using Ethereum to audit a CONIKS key transparency log Bonneau, Joseph. 2016. | |
| 27. | Escrow protocols for cryptocurrencies: How to buy physical goods using Bitcoin Goldfeder, Steven and Bonneau, Joseph and Gennaro, Rosario and Narayanan, Arvind.. 2017. | |
| 28. | On the Practicality of Smart Contract PKI Patsonakis, Christos and Samari, Katerina and Kiayias, Aggelos and Roussopoulos, Mema. 2019. | |
| 29. | uPort open-source identity management system: An assessment of self-sovereign identity and user-centric data platform built on blockchain Naik, Nitin and Jenkins, Paul. 2020. | |
| 30. | Strong federations: An interoperable blockchain solution to centralized third-party risks Dilley, Johnny and Poelstra, Andrew and Wilkins, Jonathan and Piekarska, Marta and Gorlick, Ben and Friedenbach, Mark. 2016. | |
| 31. | Aggregatable Subvector Commitments for Stateless Cryptocurrencies Alin Tomescu and Ittai Abraham and Vitalik Buterin and Justin Drake and Dankrad Feist and Dmitry Khovratovich. 2020. | |
| 32. | CanDID: Can-Do Decentralized Identity with Legacy Compatibility, Sybil-Resistance, and Accountability Deepak Maram and Harjasleen Malvai and Fan Zhang and Nerla Jean-Louis and Alexander Frolov and Tyler Kell and Tyrone Lobban and Christine Moy and Ari Juels and Andrew Miller. 2020. | |
| 33. | Instantaneous Decentralized Poker Iddo Bentov and Ranjit Kumaresan and Andrew Miller. 2017. | |
| 34. | ZombieCoin: powering next-generation botnets with bitcoin Ali, Syed Taha and McCorry, Patrick and Lee, Peter Hyun-Jeen and Hao, Feng. 2015. | |
| 35. | A user-centric system for verified identities on the bitcoin blockchain Augot, Daniel and Chabanne, Herv\'e and Chenevier, Thomas and George, William and Lambert, Laurent. 2017. | |
| 36. | Zero-Collateral Lotteries in Bitcoin and Ethereum Miller, Andrew and Bentov, Iddo. 2016. | |
| 37. | Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurrencies Reyzin, Leonid and Meshkov, Dmitry and Chepurnoy, Alexander and Ivanov, Sasha. 2016. | |
| 38. | OptiSwap: Fast Optimistic Fair Exchange Lisa Eckey and Sebastian Faust and Benjamin Schlosser. 2019. | |
| 39. | Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup Garay, Juan A and Kiayias, Aggelos and Leonardos, Nikos and Panagiotakos, Giorgos. 2018. | |
| 40. | ETHDKG: Distributed Key Generation with Ethereum Smart Contracts Philipp Schindler and Aljosha Judmayer and Nicholas Stifter and Edgar Weippl. 2019. | |
| 41. | Storing and Retrieving Secrets on a Blockchain Vipul Goyal and Abhiram Kothapalli and Elisaweta Masserova and Bryan Parno and Yifan Song. 2020. | |
| 42. | Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons David Galindo and Jia Liu and Mihai Ordean and Jin-Mann Wong. 2020. | |
| 43. | Scalable Open-Vote Network on Ethereum Mohamed Seifelnasr and Hisham S. Galal and Amr M. Youssef. 2020. | |
| 44. | Balance: Dynamic Adjustment of Cryptocurrency Deposits Harz, Dominik and Gudgeon, Lewis and Gervais, Arthur and Knottenbelt, William J. 2019. | |
| 45. | A Formal Specification Smart-Contract Language For Legally Binding Decentralized Autonomous Organizations Dwivedi, Vimal and Norta, Alex and Wulf, Alexander and Leiding, Benjamin and Saxena, Sandeep and Udokwu, Chibuzor. 2021. | |
| 46. | Decentralized Blacklistable Anonymous Credentials with Reputation Yang, Rupeng and Au, Man Ho and Xu, Qiuliang and Yu, Zuoxia. 2017. | |
| 47. | Public Accountability vs. Secret Laws: Can They Coexist?: A Cryptographic Proposal Goldwasser, Shafi and Park, Sunoo. 2017. | |
| 48. | 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. | |
| 49. | Secure protocols for accountable warrant execution Kroll, Joshua and Felten, Edward and Boneh, Dan. 2014. | |
| 50. | Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement Bernardo David and Rafael Dowsley and Mario Larangeira. 2017. | |
| 51. | Loopring: A decentralized token exchange protocol Wang, Daniel and Zhou, Jay and Wang, Alex and Finestone, Matthew. 2018. | |
| 52. | Keeping Time-Release Secrets through Smart Contracts Jianting Ning and Hung Dang and Ruomu Hou and Ee-Chien Chang. 2018. | |
| 53. | 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. | |
| 54. | SoK: Auditability and Accountability in Distributed Payment Systems Panagiotis Chatzigiannis and Foteini Baldimtsi and Konstantinos Chalkias. 2021. | |
| 55. | R3C3: Cryptographically secure Censorship Resistant Rendezvous using Cryptocurrencies Mohsen Minaei and Pedro Moreno-Sanchez and Aniket Kate. 2018. | |
| 56. | Practical Witness-Key-Agreement for Blockchain-based Dark Pools Financial Trading Ngo, Chan Nam and Massacci, Fabio and Kerschbaum, Florian and Williams, Julian. 2021. | |
| 57. | Pies: Public incompressible encodings for decentralized storage Cecchetti, Ethan and Miers, Ian and Juels, Ari. 2018. | |
| 58. | Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications Abadi, Aydin and Kiayias, Aggelos. 2021. | |
| 59. | ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement Bernardo David and Rafael Dowsley and Mario Larangeira. 2018. | |
| 60. | Distributed Auditing Proofs of Liabilities Konstantinos Chalkias and Kevin Lewi and Payman Mohassel and Valeria Nikolaenko. 2020. | |
| 61. | Verifiable computing applications in blockchain \vSimuni\'c, Silvio and Bernaca, Dalen and Lenac, Kristijan. 2021. | |
| 62. | SAMPL: Scalable Auditability of Monitoring Processes using Public Ledgers Panwar, Gaurav and Vishwanathan, Roopa and Misra, Satyajayant and Bos, Austin. 2019. | |
| 63. | FileBounty: Fair Data Exchange Janin, Simon and Qin, Kaihua and Mamageishvili, Akaki and Gervais, Arthur. 2020. | |
| 64. | MARS: Monetized Ad-hoc Routing System (A Position Paper) David, Bernardo and Dowsley, Rafael and Larangeira, Mario. 2018. | |
| 65. | Design choices for Central Bank Digital Currency Allen, Sarah and Capkun, Srdjan and Eyal, Ittay and Fanti, Giulia and Ford, Bryan and Grimmelmann, James and Juels, Ari and Kostiainen, Kari and Meiklejohn, Sarah and Miller, Andrew and others. 2020. | |
| 66. | Managing Secrets with Consensus Networks: Fairness, Ransomware and Access Control. Kaptchuk, Gabriel and Miers, Ian and Green, Matthew. 2017. | |
| 67. | Smart Contract Derivatives Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2020. | |
| 68. | Proof of Assets in the Diem Blockchain Panagiotis Chatzigiannis and Konstantinos Chalkias. 2021. | |
| 69. | $$\backslash$mathsf $\{$PEReDi$\}$ $: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies Kiayias, Aggelos and Kohlweiss, Markulf and Sarencheh, Amirreza. 2022. | |
| 70. | Scalable and privacy-preserving off-chain computations Eberhardt, Jacob. 2021. | |
| 71. | On decentralized oracles for data availability Teutsch, Jason. 2017. | |
| 72. | Chainlink: A decentralized oracle network Ellis, Steve and Juels, Ari and Nazarov, Sergey. 2017. | |
| 73. | Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More Fan Zhang and Philip Daian and Iddo Bentov and Ari Juels. 2018. | |
| 74. | Generalized Proof of Liabilities Yan Ji and Konstantinos Chalkias. 2021. | |
| 75. | How Do Smart Contracts Benefit Security Protocols? Li, Rujia and Wang, Qin and Wang, Qi and Galindo, David. 2022. | |
| 76. | 21-bringing down the complexity: fast composable protocols for card games without secret state David, Bernardo and Dowsley, Rafael and Larangeira, Mario. 2018. | |
| 77. | Developing a K-ary malware using Blockchain Moubarak, Joanna and Filiol, Eric and Chamoun, Maroun. 2018. | |
| 78. | Achieving privacy and accountability in traceable digital currency Amira Barki and Aline Gouget. 2020. | |
| 79. | Cryptocurrencies with Security Policies and Two-Factor Authentication Florian Breuer and Vipul Goyal and Giulio Malavolta. 2021. | |
| 80. | Reputable List Curation from Decentralized Voting Elizabeth C. Crites and Mary Maller and Sarah Meiklejohn and Rebekah Mercer. 2020. | |
| 81. | PayPlace: A Scalable Sidechain Protocol for Flexible Payment Mechanisms in Blockchain-based Marketplaces Harishankar, Madhumitha and Iyer, Sriram V and Laszka, Aron and Joe-Wong, Carlee and Tague, Patrick. 2020. | |
| 82. | Zero Knowledge Proofs and Applications to Financial Regulation Gowravaram, Nihal R. 2018. | |
| 83. | Dispute-free Scalable Open Vote Network using zk-SNARKs ElSheikh, Muhammad and Youssef, Amr M. 2022. | |
| 84. | Succinct Zero Knowledge for Floating Point Computations Garg, Sanjam and Jain, Abhishek and Jin, Zhengzhong and Zhang, Yinuo. 2022. | |
| 85. | SoK: Play-to-Earn Projects Yu, Jingfan and Zhang, Mengqian and Chen, Xi and Fang, Zhixuan. 2022. | |
| 86. | PAPR: Publicly Auditable Privacy Revocation for Anonymous Credentials Joakim Brorsson and Bernardo David and Lorenzo Gentile and Elena Pagnin and Paul Stankovski Wagner. 2023. | |
| 87. | A Smart Contract Refereed Data Retrieval Protocol with a Provably Low Collateral Requirement James Shook and Scott Simon and Peter Mell. 2019. | |
| 88. | Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets Carr\'e, Sylvain and Gabriel, Franck and Hongler, Cl\'ement and Lacerda, Gustavo and Capano, Gloria. 2021. | |
| 89. | N-for-1 Auth: N-wise Decentralized Authentication via One Authentication Weikeng Chen and Ryan Deng and Raluca Ada Popa. 2021. | |
| 90. | "Act natural!": Having a Private Chat on a Public Blockchain Thore Tiemann and Sebastian Berndt and Thomas Eisenbarth and Maciej Liskiewicz. 2021. | |
| 91. | PESCA: A Privacy-Enhancing Smart-Contract Architecture Wei Dai. 2022. | |
| 92. | Beyond the Blockchain Address: Zero-Knowledge Address Abstraction Sanghyeon Park and Jeong Hyuk Lee and Seunghwa Lee and Jung Hyun Chun and Hyeonmyeong Cho and MinGi Kim and Hyun Ki Cho and Soo-Mook Moon. 2023. | |
| 93. | Nummatus: A Privacy Preserving Proof of Reserves Protocol for Quisquis Dutta, Arijit and Jana, Arnab and Vijayakumaran, Saravanan. 2019. | |
| 94. | ZKProof Community Reference ZKProofStandards. 2019. | |
| 95. | Filling the Tax Gap via Programmable Money Karakostas, Dimitris and Kiayias, Aggelos. 2021. | |
| 96. | A concurrent DEX on Cardano Bruhwiler, Peter and Cachin, Christian and Zanolini, Luca and Micic, Jovana. 2021. | |
| 97. | SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Decentralized EXchange Geoffrey Ramseyer and Ashish Goel and David Mazières. 2023. | |
| 98. | ZeroLedge: Proving Solvency with Privacy Doerner, Jack and Shelat, Abhi and Evans, David. 2018. | |
| 99. | IKP: Turning a PKI Around with Blockchains Stephanos Matsumoto and Raphael M. Reischuk. 2016. | |
| 100. | Privacy Preserving Verifiable Key Directories. Chase, Melissa and Deshpande, Apoorvaa and Ghosh, Esha. 2018. | |
| 101. | Hidden in Plain Sight: Storing and Managing Secrets on a Public Ledger. Kokoris-Kogias, Eleftherios and Alp, Enis Ceyhun and Siby, Sandra Deepthy and Gailly, Nicolas and Jovanovic, Philipp and Gasser, Linus and Ford, Bryan. 2018. | |
| 102. | Calypso: Auditable sharing of private data over blockchains Kokoris-Kogias, Eleftherios and Alp, Enis Ceyhun and Siby, Sandra Deepthy and Gailly, Nicolas and Gasser, Linus and Jovanovic, Philipp and Syta, Ewa and Ford, Bryan. 2018. | |
| 103. | Off-chaining models and approaches to off-chain computations Eberhardt, Jacob and Heiss, Jonathan. 2018. | |
| 104. | OCEAN: A Built-In Replacement for Mining Pools Raymond Chee and Kartik Chitturi and Edouard Dufour-Sans and Kyle Soska. 2019. | |
| 105. | Verifiable Computation using Smart Contracts Avizheh, Sepideh and Nabi, Mahmudun and Safavi-Naini, Reihaneh and Venkateswarlu K, Muni. 2019. | |
| 106. | Implementing a Smart Contract PKI Patsonakis, Christos and Samari, Katerina and Kiayias, Aggelos and Roussopoulos, Mema. 2020. | |
| 107. | Decentralized reputation Tassos Dimitriou. 2020. | |
| 108. | Zero-Knowledge Proofs applied to finance S\'anchez Ortiz, Elvira. 2020. | |
| 109. | Absentia: secure function evaluation on Ethereum Demirag, Didem and Clark, Jeremy. 2021. | |
| 110. | ZK Contingent Payments for Trained Neural Networks Zhelei Zhou and Xinlei Cao and Jian Liu and Bingsheng Zhang and Kui Ren. 2021. | |
| 111. | Citadel: Self-Sovereign Identities on Dusk Network Salleras, Xavier. 2023. | |
| 112. | Derecho: Privacy Pools with Proof-Carrying Disclosures Josh Beal and Ben Fisch. 2023. | |
| 113. | 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. |
Videos
Links
–