Quantum cryptography exploits principles of quantum physics for the secure processing of
information. A prominent example is secure communication, ie, the task of transmitting …

We present “Ouroboros”, the first blockchain protocol based on proof of stake with rigorous
security guarantees. We establish security properties for the protocol comparable to those …

Emerging smart contract systems over decentralized cryptocurrencies allow mutually
distrustful parties to transact safely without trusted third parties. In the event of contractual …

Decades of research in both cryptography and distributed systems has extensively studied
the problem of state machine replication, also known as Byzantine consensus. A consensus …

Internet-of-Things (IoT) are increasingly operating in the zero-trust environments where any
devices and systems may be compromised and hence untrusted. In addition, data collected …

When two or more parties need to compute a common result while safeguarding their
sensitive inputs, they use secure multiparty computation (SMC) techniques such as garbled …

Trading goods lies at the backbone of the modern economy and the recent advent of
cryptocurrencies has opened the door for trading decentralized (digital) assets: A large …

Smart contracts are programs that execute autonomously on blockchains. Their key
envisioned uses (eg financial instruments) require them to consume data from outside the …

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. Prior …

We document our experiences in teaching smart contract programming to undergraduate
students at the University of Maryland, the first pedagogical attempt of its kind. Since smart …