Kartik Nayak

Most-cited papers

Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack
Kartik Nayak, Srijan Kumar, Andrew K. Miller, Elaine Shi
2016European Symposium on Security and Privacy540 citations
Semantic Scholar
ObliVM: A Programming Framework for Secure Computation
Chang Liu, X. Wang, Kartik Nayak, Yan Huang +1 more
2015IEEE Symposium on Security and Privacy381 citations Open access
Semantic Scholar
Sync HotStuff: Simple and Practical Synchronous State Machine Replication
Ittai Abraham, D. Malki, Kartik Nayak, Ling Ren +1 more
2020IEEE Symposium on Security and Privacy251 citations Open access
Semantic Scholar
Oblivious Data Structures
X. Wang, Kartik Nayak, Chang Liu, T.-H. Hubert Chan +3 more
2014IACR Cryptology ePrint Archive234 citations
Semantic Scholar
GraphSC: Parallel Secure Computation Made Easy
Kartik Nayak, X. Wang, Stratis Ioannidis, Udi Weinsberg +2 more
2015IEEE Symposium on Security and Privacy196 citations Open access
Semantic Scholar
Communication complexity of byzantine agreement, revisited
Ittai Abraham, T.-H. Hubert Chan, D. Dolev, Kartik Nayak +3 more
2018Distributed computing150 citations Open access
Semantic Scholar
OptORAMa: Optimal Oblivious RAM
Gilad Asharov, Ilan Komargodski, Wei-Kai Lin, Kartik Nayak +2 more
2020IACR Cryptology ePrint Archive147 citations
Semantic Scholar
Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus
Ittai Abraham, D. Malki, Kartik Nayak, Ling Ren +1 more
2016International Conference on Principles of Distributed Systems138 citations
Semantic Scholar
Good-case Latency of Byzantine Broadcast: a Complete Categorization
Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang
2021ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing137 citations
Semantic Scholar
Flexible Byzantine Fault Tolerance
D. Malki, Kartik Nayak, Ling Ren
2019Conference on Computer and Communications Security132 citations Open access
Semantic Scholar
Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected O(n2) Communication, and Optimal Resilience
Ittai Abraham, S. Devadas, D. Dolev, Kartik Nayak +1 more
2019IACR Cryptology ePrint Archive131 citations
Semantic Scholar
Empirical Analysis of EIP-1559: Transaction Fees, Waiting Times, and Consensus Security
Yu-Lin Liu, Yuxuan Lu, Kartik Nayak, Fan Zhang +2 more
2022Conference on Computer and Communications Security123 citations Open access
Semantic Scholar
Solidus: An Incentive-compatible Cryptocurrency Based on Permissionless Byzantine Consensus
Ittai Abraham, D. Malki, Kartik Nayak, Ling Ren +1 more
2016arXiv.org113 citations
Semantic Scholar
Improved Extension Protocols for Byzantine Broadcast and Agreement
Kartik Nayak, Ling Ren, Elaine Shi, N. Vaidya +1 more
2020International Symposium on Distributed Computing101 citations
Semantic Scholar
CCF: A Framework for Building Confidential Verifiable Replicated Services
M. Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro +15 more
201996 citations
Semantic Scholar
BFT Protocol Forensics
Pei-Yao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan +1 more
2020Conference on Computer and Communications Security91 citations Open access
Semantic Scholar
Some Vulnerabilities Are Different Than Others - Studying Vulnerabilities and Attack Surfaces in the Wild
Kartik Nayak, Daniel Marino, P. Efstathopoulos, Tudor Dumitras
2014International Symposium on Recent Advances in Intrusion Detection90 citations
Semantic Scholar
RandPiper Reconfiguration-Friendly Random Beacons with Quadratic Communication
Adithya Bhat, Nibesh Shrestha, Zhong-Tang Luo, Aniket Kate +1 more
2021IACR Cryptology ePrint Archive73 citations Open access
Semantic Scholar
On the Optimality of Optimistic Responsiveness
Nibesh Shrestha, Ittai Abraham, Ling Ren, Kartik Nayak
2020IACR Cryptology ePrint Archive63 citations
Semantic Scholar
HOP: Hardware makes Obfuscation Practical
Kartik Nayak, Christopher W. Fletcher, Ling Ren, Nishanth Chandran +3 more
2017Network and Distributed System Security Symposium56 citations
Semantic Scholar
HotStuff-2: Optimal Two-Phase Responsive BFT
D. Malki, Kartik Nayak
202351 citations
Semantic Scholar
Efficient Synchronous Byzantine Consensus
Ittai Abraham, S. Devadas, D. Dolev, Kartik Nayak +1 more
201746 citations
Semantic Scholar
Asymptotically Tight Bounds for Composing ORAM with PIR
Ittai Abraham, Christopher W. Fletcher, Kartik Nayak, Benny Pinkas +1 more
2017International Conference on Theory and Practice of Public Key Cryptography45 citations
Semantic Scholar
Bucket Oblivious Sort: An Extremely Simple Oblivious Sort
Gilad Asharov, T.-H. Hubert Chan, Kartik Nayak, R. Pass +2 more
2020SIAM Symposium on Simplicity in Algorithms44 citations Open access
Semantic Scholar
Practical Synchronous Byzantine Consensus
Ling Ren, Kartik Nayak, Ittai Abraham, S. Devadas
2017IACR Cryptology ePrint Archive38 citations
Semantic Scholar
Extended Abstract: HotStuff-2: Optimal Two-Phase Responsive BFT
D. Malki, Kartik Nayak
2023IACR Cryptology ePrint Archive34 citations
Semantic Scholar
He-HTLC: Revisiting Incentives in HTLC
Sarisht Wadhwa, Jannis Stoeter, Fan Zhang, Kartik Nayak
2022IACR Cryptology ePrint Archive34 citations Open access
Semantic Scholar
TrustBoost: Boosting Trust among Interoperable Blockchains
Pei-Yao Sheng, Xue-Chao Wang, Sreeram Kannan, Kartik Nayak +1 more
2022IACR Cryptology ePrint Archive32 citations Open access
Semantic Scholar
Optimal Good-case Latency for Rotating Leader Synchronous BFT
Ittai Abraham, Kartik Nayak, Nibesh Shrestha
2021IACR Cryptology ePrint Archive30 citations
Semantic Scholar
Strengthened Fault Tolerance in Byzantine Fault Tolerant Replication
Zhuolun Xiang, D. Malki, Kartik Nayak, Ling Ren
2021IEEE International Conference on Distributed Computing Systems29 citations Open access
Semantic Scholar
Dfinity Consensus, Explored
Ittai Abraham, D. Malki, Kartik Nayak, Ling Ren
2018IACR Cryptology ePrint Archive28 citations
Semantic Scholar
Perfectly Secure Oblivious Parallel RAM
T.-H. Hubert Chan, Kartik Nayak, Elaine Shi
2018IACR Cryptology ePrint Archive28 citations
Semantic Scholar
Brief Announcement: Practical Synchronous Byzantine Consensus
Ittai Abraham, S. Devadas, Kartik Nayak, Ling Ren
2017International Symposium on Distributed Computing28 citations
Semantic Scholar
Synchronous Distributed Key Generation without Broadcasts
Nibesh Shrestha, Adithya Bhat, Aniket Kate, Kartik Nayak
2024IACR Cryptology ePrint Archive27 citations Open access
Semantic Scholar
More is Less: Perfectly Secure Oblivious Algorithms in the Multi-Server Setting
T.-H. Hubert Chan, Jonathan Katz, Kartik Nayak, Antigoni Polychroniadou +1 more
2018IACR Cryptology ePrint Archive27 citations
Semantic Scholar
Abraxas: Throughput-Efficient Hybrid Asynchronous Consensus
Erica Blum, Jonathan Katz, J. Loss, Kartik Nayak +1 more
2023IACR Cryptology ePrint Archive26 citations Open access
Semantic Scholar
IncShrink: Architecting Efficient Outsourced Databases using Incremental MPC and Differential Privacy
Chenghong Wang, Johes Bater, Kartik Nayak, Ashwin Machanavajjhala
2022SIGMOD Conference23 citations Open access
Semantic Scholar
DP-Sync: Hiding Update Patterns in Secure Outsourced Databases with Differential Privacy
Chenghong Wang, Johes Bater, Kartik Nayak, Ashwin Machanavajjhala
2021SIGMOD Conference22 citations Open access
Semantic Scholar
Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus
Shravan Srinivasan, J. Loss, Giulio Malavolta, Kartik Nayak +2 more
2022IACR Cryptology ePrint Archive21 citations Open access
Semantic Scholar
Communication-Efficient BFT Protocols Using Small Trusted Hardware to Tolerate Minority Corruption
Sravya Yandamuri, Ittai Abraham, Kartik Nayak, M. Reiter
2021IACR Cryptology ePrint Archive21 citations
Semantic Scholar
Longshot: Indexing Growing Databases using MPC and Differential Privacy
Yanping Zhang, Johes Bater, Kartik Nayak, Ashwin Machanavajjhala
2023Proceedings of the VLDB Endowment20 citations
Semantic Scholar
OptRand: Optimistically Responsive Reconfigurable Distributed Randomness
Adithya Bhat, Nibesh Shrestha, Aniket Kate, Kartik Nayak
2023Network and Distributed System Security Symposium19 citations Open access
Semantic Scholar
OptRand: Optimistically responsive distributed random beacons
Adithya Bhat, Aniket Kate, Kartik Nayak, Nibesh Shrestha
2022IACR Cryptology ePrint Archive19 citations
Semantic Scholar
Efficient Adaptively-Secure Byzantine Agreement for Long Messages
Amey Bhangale, Chen-Da Liu-Zhang, J. Loss, Kartik Nayak
2021IACR Cryptology ePrint Archive19 citations Open access
Semantic Scholar
Locality-Preserving Oblivious RAM
Gilad Asharov, T.-H. Hubert Chan, Kartik Nayak, R. Pass +2 more
2019Journal of Cryptology18 citations
Semantic Scholar
Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks
Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras
2016SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software18 citations
Semantic Scholar
Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption
Sravya Yandamuri, Ittai Abraham, Kartik Nayak, M. Reiter
2022International Conference on Principles of Distributed Systems16 citations
Semantic Scholar
An Oblivious Parallel RAM with O(log2 N) Parallel Runtime Blowup
Kartik Nayak, Jonathan Katz
2016IACR Cryptology ePrint Archive16 citations
Semantic Scholar
Oblivious Computation with Data Locality
Gilad Asharov, T.-H. Hubert Chan, Kartik Nayak, R. Pass +2 more
2017IACR Cryptology ePrint Archive15 citations
Semantic Scholar
On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols
M. Kohlweiss, Varun Madathil, Kartik Nayak, Alessandra Scafuro
2021IEEE Symposium on Security and Privacy14 citations Open access
Semantic Scholar