provable-security
Papers (20)
# | Title | |
1. | The Bitcoin Backbone Protocol : Analysis and Applications Garay, Juan A and Kiayias, Aggelos and Leonardos, Nikos. 2014. | |
2. | Ouroboros: A provably secure proof-of-stake blockchain protocol Kiayias, Aggelos and Russell, Alexander and David, Bernardo and Oliynykov, Roman. 2017. | |
3. | Algorand: Scaling byzantine agreements for cryptocurrencies Gilad, Yossi and Hemo, Rotem and Micali, Silvio and Vlachos, Georgios and Zeldovich, Nickolai. 2017. | |
4. | Analysis of the Blockchain Protocol in Asynchronous Networks Pass, Rafael and Seeman, Lior and abhi Shelat. 2016. | |
5. | Fruitchains: A fair blockchain Pass, Rafael and Shi, Elaine. 2016. | |
6. | Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability Christian Badertscher and Peter Ga\vzi and Aggelos Kiayias and Alexander Russell and Vassilis Zikas. 2018. | |
7. | The Bitcoin Backbone Protocol with Chains of Variable Difficulty Juan A. Garay and Aggelos Kiayias and Nikos Leonardos. 2016. | |
8. | Concurrency and privacy with payment-channel networks Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo and Ravi, Srivatsan. 2017. | |
9. | Snow White: Provably Secure Proofs of Stake. Bentov, Iddo and Pass, Rafael and Shi, Elaine. 2016. | |
10. | Bitcoin as a Transaction Ledger: A Composable Treatment Christian Badertscher and Ueli Maurer and Daniel Tschudi and Vassilis Zikas. 2017. | |
11. | Proof-of-Burn Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2019. | |
12. | Algorand Chen, Jing and Micali, Silvio. 2016. | |
13. | Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol Bernardo David and Peter Ga\vzi and Aggelos Kiayias and Alexander Russell. 2017. | |
14. | ALGORAND AGREEMENT: Super Fast and Partition Resilient Byzantine Agreement. Chen, Jing and Gorbunov, Sergey and Micali, Silvio and Vlachos, Georgios. 2018. | |
15. | Parallel Chains: Improving Throughput and Latency of Blockchain Protocols via Parallel Composition Fitzi, Matthias and Gazi, Peter and Kiayias, Aggelos and Russell, Alexander. 2018. | |
16. | A Formal Treatment of Deterministic Wallets Das, Poulami and Faust, Sebastian and Loss, Julian. 2019. | |
17. | Kachina--Foundations of Private Smart Contracts Kerber, Thomas and Kiayias, Aggelos and Kohlweiss, Markulf. 2020. | |
18. | Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure Patsonakis, Christos and Samari, Katerina and Roussopoulos, Mema and Kiayias, Aggelos. 2017. | |
19. | Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake Christian Badertscher and Peter Gaži and Aggelos Kiayias and Alexander Russell and Vassilis Zikas. 2019. | |
20. | The Bitcoin Backbone Protocol Against Quantum Adversaries Alexandru Cojocaru and Juan Garay and Aggelos Kiayias and Fang Song and Petros Wallden. 2019. |
Videos
–
Links
–