Publications

Filter by type:

Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain

Details Project

Generic Semantic Security against a Kleptographic Adversary

Details Project

Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol

Details Project

Quantum-Secure Symmetric-Key Cryptography Based on Hidden Shifts

Details Project