Kartik Nayak

According to our database, Kartik Nayak authored at least 79 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Sailfish: Towards Improving Latency of DAG-based BFT.

Nibesh Shrestha, Aniket Kate, Kartik Nayak

IACR Cryptol. ePrint Arch., 2024

The Espresso Sequencing Network: HotShot Consensus, Tiramisu Data-Availability, and Builder-Exchange.

Jeb Bearer, Benedikt Bünz, Philippe Camacho, Binyi Chen, Ellie Davidson, Ben Fisch, Brendon Fish, Gus Gutoski, Fernando Krell, Chengyu Lin, Dahlia Malkhi, Kartik Nayak, Keyao Shen, Alex Luoyuan Xiong, Nathan Yospe

IACR Cryptol. ePrint Arch., 2024

Decentralization of Ethereum's Builder Market.

Sen Yang, Kartik Nayak, Fan Zhang

CoRR, 2024

Synchronous Distributed Key Generation without Broadcasts.

Nibesh Shrestha, Adithya Bhat, Aniket Kate, Kartik Nayak

IACR Commun. Cryptol., 2024

Granular Synchrony.

Neil Giridharan, Ittai Abraham, Natacha Crooks, Kartik Nayak, Ling Ren

Proceedings of the 38th International Symposium on Distributed Computing, 2024

Attacking and Improving the Tor Directory Protocol.

Zhongtang Luo, Adithya Bhat, Kartik Nayak, Aniket Kate

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Lumiere: Making Optimal BFT for Partial Synchrony Practical.

Andrew Lewis-Pye, Dahlia Malkhi, Oded Naor, Kartik Nayak

Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024

Data Independent Order Policy Enforcement: Limitations and Solutions.

Sarisht Wadhwa, Luca Zanolini, Aditya Asgaonkar, Francesco D'Amato, Chengrui Fang, Fan Zhang, Kartik Nayak

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Communication complexity of byzantine agreement, revisited.

Ittai Abraham, T.-H. Hubert Chan, Danny Dolev, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi

Distributed Comput., March, 2023

OptORAMa: Optimal Oblivious RAM.

Gilad Asharov, Ilan Komargodski, Wei-Kai Lin, Kartik Nayak, Enoch Peserico, Elaine Shi

J. ACM, February, 2023

Longshot: Indexing Growing Databases using MPC and Differential Privacy.

Yanping Zhang, Johes Bater, Kartik Nayak, Ashwin Machanavajjhala

Proc. VLDB Endow., 2023

Private Proof-of-Stake Blockchains using Differentially-private Stake Distortion.

Chenghong Wang, David Pujol, Kartik Nayak, Ashwin Machanavajjhala

IACR Cryptol. ePrint Arch., 2023

Breaking the Chains of Rationality: Understanding the Limitations to and Obtaining Order Policy Enforcement.

Sarisht Wadhwa, Luca Zanolini, Francesco D'Amato, Aditya Asgaonkar, Fan Zhang, Kartik Nayak

IACR Cryptol. ePrint Arch., 2023

Extended Abstract: HotStuff-2: Optimal Two-Phase Responsive BFT.

Dahlia Malkhi, Kartik Nayak

IACR Cryptol. ePrint Arch., 2023

Abraxas: Throughput-Efficient Hybrid Asynchronous Consensus.

Erica Blum, Jonathan Katz, Julian Loss, Kartik Nayak, Simon Ochsenreither

IACR Cryptol. ePrint Arch., 2023

Communication and Round Efficient Parallel Broadcast Protocols.

Ittai Abraham, Kartik Nayak, Nibesh Shrestha

IACR Cryptol. ePrint Arch., 2023

OptRand: Optimistically Responsive Reconfigurable Distributed Randomness.

Adithya Bhat, Nibesh Shrestha, Aniket Kate, Kartik Nayak

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

2022

Locality-Preserving Oblivious RAM.

Gilad Asharov, T.-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi

J. Cryptol., 2022

TrustBoost: Boosting Trust among Interoperable Blockchains.

Xuechao Wang, Peiyao Sheng, Sreeram Kannan, Kartik Nayak, Pramod Viswanath

IACR Cryptol. ePrint Arch., 2022

He-HTLC: Revisiting Incentives in HTLC.

Sarisht Wadhwa, Jannis Stoeter, Fan Zhang, Kartik Nayak

IACR Cryptol. ePrint Arch., 2022

Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus.

Shravan Srinivasan, Julian Loss, Giulio Malavolta, Kartik Nayak, Charalampos Papamanthou, Sri Aravinda Krishnan Thyagarajan

IACR Cryptol. ePrint Arch., 2022

Player-Replaceability and Forensic Support are Two Sides of the Same (Crypto) Coin.

Peiyao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan, Pramod Viswanath

IACR Cryptol. ePrint Arch., 2022

OptRand: Optimistically responsive distributed random beacons.

Adithya Bhat, Aniket Kate, Kartik Nayak, Nibesh Shrestha

IACR Cryptol. ePrint Arch., 2022

Empirical Analysis of EIP-1559: Transaction Fees, Waiting Time, and Consensus Security.

Yulin Liu, Yuxuan Lu, Kartik Nayak, Fan Zhang, Luyao Zhang, Yinhong Zhao

CoRR, 2022

IncShrink: Architecting Efficient Outsourced Databases using Incremental MPC and Differential Privacy.

Chenghong Wang, Johes Bater, Kartik Nayak, Ashwin Machanavajjhala

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption.

Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter

Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022

Empirical Analysis of EIP-1559: Transaction Fees, Waiting Times, and Consensus Security.

Yulin Liu, Yuxuan Lu, Kartik Nayak, Fan Zhang, Luyao Zhang, Yinhong Zhao

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

On the Limitations of Logic Locking the Approximate Circuits.

Kartik Nayak, Devanshi Upadhyaya, Francesco Regazzoni, Ilia Polian

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2022

2021

Communication-Efficient BFT Protocols Using Small Trusted Hardware to Tolerate Minority Corruption.

Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter

IACR Cryptol. ePrint Arch., 2021

On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols.

Markulf Kohlweiss, Varun Madathil, Kartik Nayak, Alessandra Scafuro

IACR Cryptol. ePrint Arch., 2021

Making Synchronous BFT Protocols Secure in the Presence of Mobile Sluggish Faults.

Justin Kim, Vandan Mehta, Kartik Nayak, Nibesh Shrestha

IACR Cryptol. ePrint Arch., 2021

Efficient Adaptively-Secure Byzantine Agreement for Long Messages.

Amey Bhangale, Chen-Da Liu-Zhang, Julian Loss, Kartik Nayak

IACR Cryptol. ePrint Arch., 2021

Optimal Good-case Latency for Rotating Leader Synchronous BFT.

Ittai Abraham, Kartik Nayak, Nibesh Shrestha

IACR Cryptol. ePrint Arch., 2021

Classifying Trusted Hardware via Unidirectional Communication.

Naama Ben-David, Kartik Nayak

CoRR, 2021

Brief Note: Fast Authenticated Byzantine Consensus.

Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang

CoRR, 2021

Brief Announcement: Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption.

Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter

Proceedings of the 35th International Symposium on Distributed Computing, 2021

DP-Sync: Hiding Update Patterns in Secure Outsourced Databases with Differential Privacy.

Chenghong Wang, Johes Bater, Kartik Nayak, Ashwin Machanavajjhala

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Brief Announcement: Making Synchronous BFT Protocols Secure in the Presence of Mobile Sluggish Faults.

Justin Kim, Vandan Mehta, Kartik Nayak, Nibesh Shrestha

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

Brief Announcement: Classifying Trusted Hardware via Unidirectional Communication.

Naama Ben-David, Kartik Nayak

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

Good-case Latency of Byzantine Broadcast: a Complete Categorization.

Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

Strengthened Fault Tolerance in Byzantine Fault Tolerant Replication.

Zhuolun Xiang, Dahlia Malkhi, Kartik Nayak, Ling Ren

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

Perfectly Oblivious (Parallel) RAM Revisited, and Improved Constructions.

T.-H. Hubert Chan, Elaine Shi, Wei-Kai Lin, Kartik Nayak

Proceedings of the 2nd Conference on Information-Theoretic Cryptography, 2021

BFT Protocol Forensics.

Peiyao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan, Pramod Viswanath

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

RandPiper - Reconfiguration-Friendly Random Beacons with Quadratic Communication.

Adithya Bhat, Nibesh Shrestha, Zhongtang Luo, Aniket Kate, Kartik Nayak

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Perfectly Secure Oblivious Parallel RAM with O(log³ N/ log log N) Overhead.

T.-H. Hubert Chan, Wei-Kai Lin, Kartik Nayak, Elaine Shi

IACR Cryptol. ePrint Arch., 2020

RandPiper - Reconfiguration-Friendly Random Beacons with Quadratic Communication.

Adithya Bhat, Nibesh Shrestha, Aniket Kate, Kartik Nayak

IACR Cryptol. ePrint Arch., 2020

On the Optimality of Optimistic Responsiveness.

Ittai Abraham, Kartik Nayak, Ling Ren, Nibesh Shrestha

IACR Cryptol. ePrint Arch., 2020

Optimal Good-case Latency for Byzantine Broadcast and State Machine Replication.

Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang

CoRR, 2020

Improved Extension Protocols for Byzantine Broadcast and Agreement.

Kartik Nayak, Ling Ren, Elaine Shi, Nitin H. Vaidya, Zhuolun Xiang

Proceedings of the 34th International Symposium on Distributed Computing, 2020

Brief Announcement: Byzantine Agreement, Broadcast and State Machine Replication with Optimal Good-Case Latency.

Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang

Proceedings of the 34th International Symposium on Distributed Computing, 2020

Sync HotStuff: Simple and Practical Synchronous State Machine Replication.

Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Maofan Yin

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Bucket Oblivious Sort: An Extremely Simple Oblivious Sort.

Gilad Asharov, T.-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi

Proceedings of the 3rd Symposium on Simplicity in Algorithms, 2020

Poirot: private contact summary aggregation: poster abstract.

Yanping Zhang, Chenghong Wang, David Pujol, Johes Bater, Matthew Lentz, Ashwin Machanavajjhala, Kartik Nayak, Lavanya Vasudevan, Jun Yang

Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

2019

Sync HotStuff: Synchronous SMR with 2∆ Latency and Optimistic Responsiveness.

Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Maofan Yin

IACR Cryptol. ePrint Arch., 2019

Flexible Byzantine Fault Tolerance.

Dahlia Malkhi, Kartik Nayak, Ling Ren

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Efficient Data-Oblivious Computation.

Kartik Nayak

PhD thesis, 2018

Perfectly Secure Oblivious Parallel RAM.

T.-H. Hubert Chan, Kartik Nayak, Elaine Shi

IACR Cryptol. ePrint Arch., 2018

More is Less: Perfectly Secure Oblivious Algorithms in the Multi-Server Setting.

T.-H. Hubert Chan, Jonathan Katz, Kartik Nayak, Antigoni Polychroniadou, Elaine Shi

IACR Cryptol. ePrint Arch., 2018

OptORAMa: Optimal Oblivious RAM.

Gilad Asharov, Ilan Komargodski, Wei-Kai Lin, Kartik Nayak, Elaine Shi

IACR Cryptol. ePrint Arch., 2018

Dfinity Consensus, Explored.

Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren

IACR Cryptol. ePrint Arch., 2018

Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected O(n²⁾ Communication, and Optimal Resilience.

Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren

IACR Cryptol. ePrint Arch., 2018

2017

Practical Synchronous Byzantine Consensus.

Ling Ren, Kartik Nayak, Ittai Abraham, Srinivas Devadas

IACR Cryptol. ePrint Arch., 2017

Oblivious Computation with Data Locality.

Gilad Asharov, T.-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi

IACR Cryptol. ePrint Arch., 2017

Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus.

Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Alexander Spiegelman

IACR Cryptol. ePrint Arch., 2017

Brief Announcement: Practical Synchronous Byzantine Consensus.

Ittai Abraham, Srinivas Devadas, Kartik Nayak, Ling Ren

Proceedings of the 31st International Symposium on Distributed Computing, 2017

Asymptotically Tight Bounds for Composing ORAM with PIR.

Ittai Abraham, Christopher W. Fletcher, Kartik Nayak, Benny Pinkas, Ling Ren

Proceedings of the Public-Key Cryptography - PKC 2017, 2017

HOP: Hardware makes Obfuscation Practical.

Kartik Nayak, Christopher W. Fletcher, Ling Ren, Nishanth Chandran, Satya V. Lokam, Elaine Shi, Vipul Goyal

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016

An Oblivious RAM with Sub-logarithmic Bandwidth Blowup.

Kartik Nayak, Ling Ren, Ittai Abraham, Benny Pinkas

IACR Cryptol. ePrint Arch., 2016

An Oblivious Parallel RAM with O(log² N) Parallel Runtime Blowup.

Kartik Nayak, Jonathan Katz

IACR Cryptol. ePrint Arch., 2016

Solidus: An Incentive-compatible Cryptocurrency Based on Permissionless Byzantine Consensus.

Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Alexander Spiegelman

CoRR, 2016

Toward Semantic Cryptography APIs.

Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras

Proceedings of the IEEE Cybersecurity Development, 2016

Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks.

Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

2015

iDASH Secure Genome Analysis Competition Using ObliVM.

Xiao Shaun Wang, Chang Liu, Kartik Nayak, Yan Huang, Elaine Shi

IACR Cryptol. ePrint Arch., 2015

Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack.

Kartik Nayak, Srijan Kumar, Andrew Miller, Elaine Shi

IACR Cryptol. ePrint Arch., 2015

GraphSC: Parallel Secure Computation Made Easy.

Kartik Nayak, Xiao Shaun Wang, Stratis Ioannidis, Udi Weinsberg, Nina Taft, Elaine Shi

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

ObliVM: A Programming Framework for Secure Computation.

Chang Liu, Xiao Shaun Wang, Kartik Nayak, Yan Huang, Elaine Shi

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

2014

Oblivious Data Structures.

Xiao Wang, Kartik Nayak, Chang Liu, Elaine Shi, Emil Stefanov, Yan Huang

IACR Cryptol. ePrint Arch., 2014

Some Vulnerabilities Are Different Than Others - Studying Vulnerabilities and Attack Surfaces in the Wild.

Kartik Nayak, Daniel Marino, Petros Efstathopoulos, Tudor Dumitras

Proceedings of the Research in Attacks, Intrusions and Defenses, 2014

Oblivious Data Structures.

Xiao Shaun Wang, Kartik Nayak, Chang Liu, T.-H. Hubert Chan, Elaine Shi, Emil Stefanov, Yan Huang

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014