Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
Aggelos Kiayias;Alexander Russell;Bernardo David;Roman Oliynykov.
international cryptology conference (2017)
1286 Citations
Efficient probabilistically checkable proofs and applications to approximations
M. Bellare;S. Goldwasser;C. Lund;A. Russell.
symposium on the theory of computing (1993)
443 Citations
Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain
Bernardo David;Peter Gaži;Aggelos Kiayias;Alexander Russell.
theory and application of cryptographic techniques (2018)
312 Citations
Limitations of quantum coset states for graph isomorphism
Sean Hallgren;Cristopher Moore;Martin Rötteler;Alexander Russell.
Journal of the ACM (2010)
223 Citations
Quantum Walks on the Hypercube
Cristopher Moore;Alexander Russell.
randomization and approximation techniques in computer science (2002)
198 Citations
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
Christian Badertscher;Peter Gaži;Aggelos Kiayias;Alexander Russell.
computer and communications security (2018)
197 Citations
The Symmetric Group Defies Strong Fourier Sampling
Cristopher Moore;Alexander Russell;Leonard J. Schulman.
SIAM Journal on Computing (2008)
126 Citations
Normal subgroup reconstruction and quantum computation using group representations
Sean Hallgren;Alexander Russell;Amnon Ta-Shma.
symposium on the theory of computing (2000)
124 Citations
The complexity of solving equations over finite groups
Mikael Goldmann;Alexander Russell.
Information & Computation (2002)
115 Citations
Perfect Information Leader Election in log*n+O(1) Rounds
Alexander Russell;David Zuckerman.
Journal of Computer and System Sciences (2001)
104 Citations