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 | OA
Zamyatin A, Al-Bassam M, Zindros D, et al. SoK: Communication across distributed ledgers. Cryptology ePrint Archive. 2019.
View | Download Preprint (ext.)

2019 | Thesis | IST-REx-ID: 8311 | OA
Kokoris Kogias E. Secure, confidential blockchains providing high throughput and low latency. 2019. doi:10.5075/epfl-thesis-7101
View | DOI | Download Published Version (ext.)

2019 | Preprint | IST-REx-ID: 8314 | OA
Avarikioti G, Kokoris Kogias E, Wattenhofer R, Zindros D. Brick: Asynchronous payment channels. arXiv.
View | Download Preprint (ext.) | arXiv

2019 | Preprint | IST-REx-ID: 8315 | OA
Avarikioti G, Kokoris Kogias E, Wattenhofer R. Divide and scale: Formalization of distributed ledger sharding protocols. arXiv.
View | Download Preprint (ext.) | arXiv

2019 | Conference Paper | IST-REx-ID: 8324 | OA
Wang P, Fu H, Chatterjee K, Deng Y, Xu M. Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In: Proceedings of the ACM on Programming Languages. Vol 4. ACM; 2019. doi:10.1145/3371093
View | Files available | DOI | arXiv

Filters and Search Terms



Filter Publications