Kartik Nayak

Journal article Distributed Computing · March 1, 2023 As Byzantine Agreement (BA) protocols find application in large-scale decentralized cryptocurrencies, an increasingly important problem is to design BA protocols with improved communication complexity. A few existing works have shown how to achieve subquad ... Full text Cite

Longshot: Indexing Growing Databases using MPC and Differential Privacy

Journal article Proceedings of the VLDB Endowment · January 1, 2023 In this work, we propose Longshot, a novel design for secure outsourced database systems that supports ad-hoc queries through the use of secure multi-party computation and differential privacy. By combining these two techniques, we build and maintain data ... Full text Cite

OptORAMa: Optimal Oblivious RAM

Journal article Journal of the ACM · December 20, 2022 Oblivious RAM (ORAM), first introduced in the ground-breaking work of Goldreich and Ostrovsky (STOC '87 and J. ACM '96) is a technique for provably obfuscating programs' access patterns, such that the access patterns leak no information about the programs' ... Full text Cite

Locality-Preserving Oblivious RAM

Journal article Journal of Cryptology · April 1, 2022 Oblivious RAMs, introduced by Goldreich and Ostrovsky [JACM’96], compile any RAM program into one that is “memory oblivious,” i.e., the access pattern to the memory is independent of the input. All previous ORAM schemes, however, completely break the local ... Full text Cite