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.
438 Publications
2019 | Preprint | IST-REx-ID: 8304 | 
A. Zamyatin et al., “SoK: Communication across distributed ledgers,” Cryptology ePrint Archive, vol. 2019. .
View
| Download Preprint (ext.)
2019 | Thesis | IST-REx-ID: 8311 |
E. Kokoris Kogias, “Secure, confidential blockchains providing high throughput and low latency,” EPFL, 2019.
View
| DOI
| Download Published Version (ext.)
2019 | Preprint | IST-REx-ID: 8314 |
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, and D. Zindros, “Brick: Asynchronous payment channels,” arXiv. .
View
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 8315 |
G. Avarikioti, E. Kokoris Kogias, and R. Wattenhofer, “Divide and scale: Formalization of distributed ledger sharding protocols,” arXiv. .
View
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 8324 |
P. Wang, H. Fu, K. Chatterjee, Y. Deng, and M. Xu, “Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time,” in Proceedings of the ACM on Programming Languages, 2019, vol. 4, no. POPL.
View
| Files available
| DOI
| arXiv