• Publications
  • Influence
The Bitcoin Backbone Protocol: Analysis and Applications
TLDR
In this work, we extract and analyze the core of the Bitcoin protocol, which we term the Bitcoin backbone, and prove two of its fundamental properties which we call common prefix and chain quality. Expand
  • 853
  • 92
  • PDF
Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
TLDR
We present “Ouroboros”, the first blockchain protocol based on proof of stake with rigorous security guarantees. Expand
  • 690
  • 85
  • PDF
Robust key generation from signal envelopes in wireless networks
TLDR
This paper presents a novel approach that couples the physical layer characteristics of wireless networks with key generation algorithms. Expand
  • 337
  • 26
  • PDF
Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain
TLDR
We present “Ouroboros Praos”, a proof-of-stake blockchain protocol that, for the first time, provides security against fully-adaptive corruption in the semi-synchronous setting: Specifically, the adversary can corrupt any participant of a dynamically evolving population of stakeholders at any moment. Expand
  • 180
  • 23
  • PDF
Delegatable pseudorandom functions and applications
TLDR
We put forth the problem of delegating the evaluation of a pseudorandom function (PRF) to an untrusted proxy using a trapdoor derived from the DPRF secret key. Expand
  • 250
  • 20
  • PDF
Self-tallying Elections and Perfect Ballot Secrecy
TLDR
We present a novel voting scheme which is the first system that is dispute-free, self-tallying and supports perfect ballot secrecy. Expand
  • 157
  • 20
  • PDF
Anonymous Identification in Ad Hoc Groups
TLDR
We introduce Ad hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad-hoc groups, and then prove membership anonymously in such groups. Expand
  • 255
  • 19
  • PDF
Scalability, fidelity and stealth in the DRAKVUF dynamic malware analysis system
TLDR
We present DRAKVUF, a novel dynamic malware analysis system designed to address these challenges by building on the latest hardware virtualization extensions and the Xen hypervisor. Expand
  • 113
  • 19
  • PDF
Traceable Signatures
TLDR
We present, implement and apply a new privacy primitive that we call Traceable Signatures. Expand
  • 193
  • 18
  • PDF
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
TLDR
We present a novel Proof-of-Stake (PoS) protocol, Ouroboros Genesis, that enables parties to safely join (or rejoin) the protocol execution using only the genesis block information. Expand
  • 109
  • 18
  • PDF