applications

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