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