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, Alexei, et al. “SoK: Communication across Distributed Ledgers.” Cryptology EPrint Archive, vol. 2019, 1128.
View | Download Preprint (ext.)
 

2019 | Thesis | IST-REx-ID: 8311 | OA
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 | OA
Avarikioti, Georgia, et al. “Brick: Asynchronous Payment Channels.” ArXiv, 1905.11360.
View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 8315 | OA
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 | OA
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
 

Filters and Search Terms

year=2019

Search

Filter Publications