Papers (85)

#Title
Citations
1.SoK: Decentralized Finance (DeFi) Sam M. Werner and Daniel Perez and Lewis Gudgeon and Ariah Klages-Mundt and Dominik Harz and William J. Knottenbelt. 2021
5
2.Thresholdizing HashEdDSA: MPC to the rescue Bonte, Charlotte and Smart, Nigel P and Tanguy, Titouan. 2021
5
3.Optimal Fees for Geometric Mean Market Makers Evans, Alex and Angeris, Guillermo and Chitra, Tarun. 2021
3
4.Linear-time zero-knowledge SNARKs for R1CS Jonathan Lee and Srinath Setty and Justin Thaler and Riad Wahby. 2021
2
5.Composition with Knowledge Assumptions Thomas Kerber and Aggelos Kiayias and Markulf Kohlweiss. 2021
2
6.Blockchain Gateways, Bridges and Delegated Hash-Locks Hardjono, Thomas. 2021
1
7.Aggregatable Distributed Key Generation Kobi Gurkan and Philipp Jovanovic and Mary Maller and Sarah Meiklejohn and Gilad Stern and Alin Tomescu. 2021  
1
8.Good-case Latency of Byzantine Broadcast: a Complete Categorization Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021
1
9.Practical Witness-Key-Agreement for Blockchain-based Dark Pools Financial Trading Ngo, Chan Nam and Massacci, Fabio and Kerschbaum, Florian and Williams, Julian. 2021
1
10.Quantifying Blockchain Extractable Value: How dark is the forest? Kaihua Qin and Liyi Zhou and Arthur Gervais. 2021
0
11.Order-Fair Consensus in the Permissionless Setting Mahimna Kelkar and Soubhik Deb and Sreeram Kannan. 2021
0
12.smartFHE: Privacy-Preserving Smart Contracts from Fully Homomorphic Encryption Ravital Solomon and Ghada Almashaqbeh. 2021
0
13.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
0
14.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
0
15.Reaching Consensus for Asynchronous Distributed Key Generation Ittai Abraham and Philipp Jovanovic and Mary Maller and Sarah Meiklejohn and Gilad Stern and Alin Tomescu. 2021
0
16.FPPW: A Fair and Privacy Preserving Watchtower For Bitcoin Arash Mirzaei and Amin Sakzad and Jiangshan Yu and Ron Steinfeld. 2021
0
17.The Bitcoin Cash Backbone Protocol Juan Garay and Yu Shen. 2021
0
18.BooLigero: Improved Sublinear Zero Knowledge Proofs for Boolean Circuits Yaron Gvili and Sarah Scheffler and Mayank Varia. 2021
0
19.Fast-HotStuff: A Fast and Resilient BFT protocol for Blockchains Jalalzai, Mohammad M and Niu, Jianyu and Feng, Chen and Gai, Fangyu. 2021
0
20.Timelocked Bribing Nadahalli, Tejaswi and Khabbazian, Majid and Wattenhofer, Roger. 2021  
0
21.A Security Framework for Distributed Ledgers Christoph Egger and Mike Graf and Ralf Kuesters and Daniel Rausch and Viktoria Ronge and and Dominique Schröder. 2021
0
22.Fast Validated Byzantine Broadcast Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021
0
23.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
0
24.OptSmart: A Space Efficient Optimistic Concurrent Execution of Smart Contracts Anjana, Parwat Singh and Kumari, Sweta and Peri, Sathya and Rathor, Sachin and Somani, Archit. 2021
0
25.When Nakamoto Meets Nash: Blockchain Breakthrough Through the Lens of Game Theory (Invited Talk) Abraham, Ittai. 2021
0
26.On Elapsed Time Consensus Protocols Mic Bowman and Debajyoti Das and Avradip Mandal and Hart Montgomery. 2021
0
27.Scaling Distributed Ledgers and Privacy-Preserving Applications Sonnino, Alberto. 2021
0
28.Atomic Swaps between Bitcoin and Monero Hoenisch, Philipp and del Pino, Lucas Soriano. 2021
0
29.Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper) Danos, Vincent and Krivine, Jean and Prat, Julien. 2021
0
30.QuickSilver: Efficient and Affordable Zero-Knowledge Proofs for Circuits and Polynomials over Any Field Kang Yang and Pratik Sarkar and Chenkai Weng and Xiao Wang. 2021
0
31.IPFS and Friends: A Qualitative Comparison of Next Generation Peer-to-Peer Data Networks Erik Daniel and Florian Tschorsch. 2021
0
32.Blitz: Secure Multi-Hop Payments Without Two-Phase Commits Lukas Aumayr and Pedro Moreno-Sanchez and Aniket Kate and Matteo Maffei. 2021
0
33.The Cryptographic Complexity of Anonymous Coins: A Systematic Exploration Niluka Amarasinghe and Xavier Boyen and Matthew McKague. 2021
0
34.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
0
35.P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange Carsten Baum and Bernardo David and Tore Frederiksen. 2021
0
36.YOSO: You Only Speak Once / Secure MPC with Stateless Ephemeral Roles Craig Gentry and Shai Halevi and Hugo Krawczyk and Bernardo Magri and Jesper Buus Nielsen and Tal Rabin and Sophia Yakoubov. 2021
0
37.Embedding a Deterministic BFT Protocol in a Block DAG Schett, Maria A and Danezis, George. 2021
0
38.Rinocchio: SNARKs for Ring Arithmetic Chaya Ganesh and Anca Nitulescu and Eduardo Soria-Vazquez. 2021
0
39.Absentia: secure function evaluation on Ethereum Demirag, Didem and Clark, Jeremy. 2021
0
40.Merkle Trees Optimized for Stateless Clients in Bitcoin Bailey, Bolton and Sankagiri, Suryanarayana. 2021
0
41.On-Chain Smart Contract Verification over Tendermint⋆ Olivieri, Luca and Spoto, Fausto and Tagliaferro, Fabio. 2021
0
42.EthVer: Formal verification of randomized Ethereum smart contracts Mazurek, \Lukasz. 2021
0
43.HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality Muhammad Saad and Afsah Anwar and Srivatsan Ravi and David Mohaisen. 2021
0
44.Compositional Security for Reentrant Applications Cecchetti, Ethan and Yao, Siqiu and Ni, Haobin and Myers, Andrew C. 2021
0
45.EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode Contro, Filippo and Crosara, Marco and Ceccato, Mariano and Preda, Mila Dalla. 2021
0
46.Post-Quantum Verifiable Random Function from Symmetric Primitives in PoS Blockchain Buser, Maxime and Dowsley, Rafael and Esgin, Muhammed F and Kermanshahi, Shabnam Kasra and Kuchta, Veronika and Liu, Joseph K and Phan, Raphael and Zhang, Zhenfei. 2021
0
47.Post-Quantum Succinct Arguments Chiesa, Alessandro and Ma, Fermi and Spooner, Nicholas and Zhandry, Mark. 2021
0
48.Formal Modelling and Security Analysis of Bitcoin's Payment Protocol Modesti, Paolo and Shahandashti, Siamak F and McCorry, Patrick and Hao, Feng. 2021
0
49.Succinct Publicly Verifiable Computation Alonso González and Alexandros Zacharakis. 2021
0
50.Time- and Space-Efficient Arguments from Groups of Unknown Order Alexander R. Block and Justin Holmgren and Alon Rosen and Ron D. Rothblum and Pratik Soni. 2021
0
51.Non-interactive half-aggregation of EdDSA and variants of Schnorr signatures Konstantinos Chalkias and Francois Garillot and Yashvanth Kondi and Valeria Nikolaenko. 2021
0
52.N-for-1 Auth: N-wise Decentralized Authentication via One Authentication Weikeng Chen and Ryan Deng and Raluca Ada Popa. 2021
0
53.Efficient and Universally Composable Single Secret Leader Election from Pairings Dario Catalano and Dario Fiore and Emanuele Giunta. 2021
0
54.Attacking (EC)DSA With Partially Known Multiples of Nonces Marios Adamoudis and Konstantinos A. Draziotis and Dimitrios Poulakis. 2021
0
55.Assessing Smart Contracts Security Technical Debts Ahmadjee, Sabreen and Mera-G\'omez, Carlos and Bahsoon, Rami. 2021
0
56.CONFUZZIUS: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts Ferreira Torres, Christof and Iannillo, Antonio Ken and Gervais, Arthur and others. 2021
0
57.Nova: Recursive Zero-Knowledge Arguments from Folding Schemes Abhiram Kothapalli and Srinath Setty and Ioanna Tzialla. 2021
0
58.Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications Abadi, Aydin and Kiayias, Aggelos. 2021
0
59.A Theoretical Treatment of Blockchain Scaling Protocols Avarikioti, Georgia. 2021
0
60.SoK: Auditability and Accountability in Distributed Payment Systems Panagiotis Chatzigiannis and Foteini Baldimtsi and Konstantinos Chalkias. 2021
0
61.On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols Markulf Kohlweiss and Varun Madathil and Kartik Nayak and Alessandra Scafuro. 2021
0
62.Latus Incentive Scheme: Enabling Decentralization in Blockchains based on Recursive SNARKs Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov. 2021
0
63.Analysis and Probing of Parallel Channels in the Lightning Network Alex Biryukov and Gleb Naumenko and Sergei Tikhomirov. 2021
0
64.Formal security analysis of MPC-in-the-head zero-knowledge protocols Nikolaj Sidorenco and Sabine Oechsner and Bas Spitters. 2021
0
65.Security of the Poseidon Hash Function Against Non-Binary Differential and Linear Attacks Kovalchuk, L and Oliynykov, R and Rodinko, M. 2021
0
66.Chain Reductions for Multi-Signatures Mihir Bellare and Wei Dai. 2021
0
67.On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols Markulf Kohlweiss and Varun Madathil and Kartik Nayak and Alessandra Scafuro. 2021
0
68.Efficient Verification of Optimized Code: Correct High-speed X25519 Marc Schoolderman and Jonathan Moerman and Sjaak Smetsers and Marko van Eekelen. 2021
0
69.Guessing Bits: Improved Lattice Attacks on (EC)DSA Chao Sun and Thomas Espitau and Mehdi Tibouchi and Masayuki Abe. 2021
0
70.A Note on Privacy in Constant Function Market Makers Angeris, Guillermo and Evans, Alex and Chitra, Tarun. 2021
0
71.History Binding Signature Shlomi Dolev and Matan Liber. 2021
0
72.Cryptocurrencies with Security Policies and Two-Factor Authentication Florian Breuer and Vipul Goyal and Giulio Malavolta. 2021
0
73.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
0
74.Practical Smart Contract Sharding with Ownership and Commutativity Analysis P\^\irlea, George and Kumar, Amrit and Sergey, Ilya. 2021
0
75.LEO: A Programming Language for Formally Verified,Zero-Knowledge Applications Collin Chin and Howard Wu and Raymond Chu and Alessandro Coglio and Eric McCarthy and Eric Smith. 2021
0
76.Chainlink 2.0: Next Steps in the Evolution of Decentralized Oracle Networks Lorenz Breidenbach and Christian Cachin and Benedict Chan and Alex Coventry and Steve Ellis and Ari Juels and Farinaz Koushanfar and Andrew Miller and Brendan Magauran and Daniel Moroz and Sergey Nazarov and Alexandru Topliceanu and Florian Tram`er and Fan Zhang. 2021
0
77.Property-based testing of ERC-721 Ethereum smart contracts de Figueiredo Novo, Isac Daniel. 2021
0
78.zkHawk: Practical Private Smart Contracts from MPC-based Hawk Aritra Banerjee and Michael Clear and Hitesh Tewari. 2021
0
79.Private Liquidity Matching using MPC Shahla Atapoor and Nigel P. Smart and Younes Talibi Alaoui. 2021
0
80.Towards Understanding Cryptocurrency Derivatives: A Case Study of BitMEX Soska, Kyle and Dong, Jin-Dong and Khodaverdian, Alex and Zetlin-Jones, Ariel and Routledge, Bryan and Christin, Nicolas. 2021
0
81.On (Weak) Simulation-Extractability of Universal zkSNARKs Markulf Kohlweiss and Michał Zając. 2021
0
82.SNARKpack: Practical SNARK Aggregation Nicolas Gailly and Mary Maller and Anca Nitulescu. 2021
0
83.SoK: Exploring Blockchains Interoperability Gang Wang. 2021
0
84.On the Routing-Aware Peering against Network-Eclipse Attacks in Bitcoin Tran, Muoi and Shenoi, Akshaye and Kang, Min Suk. 2021
0
85.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
0

Videos