Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
447 Publications
2019 | Preprint | IST-REx-ID: 8304 | 
Zamyatin, Alexei, et al. “SoK: Communication across Distributed Ledgers.” Cryptology EPrint Archive, vol. 2019, 1128.
View
| Download Preprint (ext.)
2019 | Thesis | IST-REx-ID: 8311 |
Kokoris Kogias, Eleftherios. Secure, Confidential Blockchains Providing High Throughput and Low Latency. EPFL, 2019, doi:10.5075/epfl-thesis-7101.
View
| DOI
| Download Published Version (ext.)
2019 | Preprint | IST-REx-ID: 8314 |
Avarikioti, Georgia, et al. “Brick: Asynchronous Payment Channels.” ArXiv, 1905.11360.
View
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 8315 |
Avarikioti, Georgia, et al. “Divide and Scale: Formalization of Distributed Ledger Sharding Protocols.” ArXiv, 1910.10434.
View
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 8324 |
Wang, Peixin, et al. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” Proceedings of the ACM on Programming Languages, vol. 4, no. POPL, 25, ACM, 2019, doi:10.1145/3371093.
View
| Files available
| DOI
| arXiv