21:45

Foundations of Ring Sampling

26:39

Lockable Signatures for Blockchains: Scriptless Scripts for All Signatures

20:36

Differentially Private Mixing for Cryptocurrencies

51:23

SPARKs: Succinct Parallelizable Arguments of Knowledge

26:17

Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma

20:58

On the Routing-Aware Peering against Network-Eclipse Attacks in Bitcoin

25:12

GearBox: An Efficient UC Sharded Ledger Leveraging the Safety-Liveness Dichotomy

47:42

On the Central Role of Networks in Blockchain Privacy, Security, and Performance

23:34

Achieving State Machine Replication without Honest Players

27:07

BFT Protocol Forensics

26:25

On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols

44:11

Scalability of Decentralized Trust: Some Lessons and some Recent Advances

24:17

The Discriminating Miner Dilemma: Revisiting Liveness Guarantees under Content Discrimination

35:07

A Rational Protocol Treatment of 51% Attacks

24:57

Post-Quantum Security of the Bitcoin Backbone and Quantum Multi-Solution Bernoulli Search

42:19

Economic Incentives and Blockchain Consensus

41:23

Should We Care About Central Bank Digital Currency?

27:14

Reparo: Publicly Verifiable Layer to Repair Blockchains

25:45

SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts

24:47

Free2Shard: Identity-free sharding via Dynamic Self-allocation

22:19

MAD-HTLC: Because HTLC is Crazy-Cheap to Attack

24:48

Accurate Smart Contract Verification Through Direct Modelling

24:12

A formal model of Algorand smart contracts

42:30

Beyond “Smart Contracts” - General-Purpose Computation on the Blockchain

24:14

Blitz: Secure Multi-Hop Payments Without Two-Phase Commits

23:26

Bitcoin-Compatible Virtual Channels

24:56

Privacy-Preserving Decentralized Cryptocurrency Exchange

40:23

Decentralized Identity

25:34

Order-Fair Consensus for Blockchains

25:17

FairMM: A Fast and Frontrunning-Resilient Crypto Market-Maker

19:59

Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit

58:57

Transaction Fee Mechanism Design for the Ethereum Blockchain: An Economic Analysis of EIP-1559

24:49

Divide and Scale: Formalization of Distributed Ledger Sharding Protocols

28:48

Mir-BFT: Robust Scaling of Classical BFT.

29:50

Non-Atomic PaymentSplitting in Channel Networks

29:32

Manipulating Incentives for Fun and Profit.

26:11

Employing user-selected committees for scalability and confidentiality.

35:13

Blinder – MPC Based Scalable and Robust Anonymous Committed Broadcast

41:01

Better Randomness Beacons and MPC with Financial Penalties from Time-Lock Puzzles

21:41

Reputable List Curation from Decentralized Voting

28:58

Vector Commitment Techniques and Applications to Verifiable Decentralized Storage

22:44

Proof-of-Burn

19:08

Consensus based on Virtual ASICs

29:34

Ledger Combiners for Fast Settlement

25:21

The Journey to Libra Blockchain Core and Beyond

25:48

Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts

24:41

Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices

22:37

Transitioning from academic research to entrepreneurship. Lessons learnt & beyond off-chain

25:15

Cerberus Channels: Incentivizing Watchtowers for Bitcoin

29:12

On the Optimality of Optimistic Responsiveness

27:10

Making Byzantine Consensus Live

23:02

Security Analysis of Ripple Consensus

23:21

Securing Proof-of-Work Ledgers via Checkpointing

29:49

Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular

30:40

The potentiality of linear-time proofs

01:02

Cerberus Channels: Incentivizing Watchtowers for Bitcoin

00:58

Security Analysis of Ripple Consensus

32:07

ConCert: A Smart Contract Certification Framework in Coq.

20:53

Leveraging Weight Functions for Optimistic Responsiveness in Blockchains by Søren Eller Thomsen

35:29

Mechanized proof for the Libra block chain