Publications

Filter by type:

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