Kartik Nayak

Publications
Influence

ObliVM: A Programming Framework for Secure Computation

Chang Liu, X. Wang, Kartik Nayak, Y. Huang, E. Shi
Computer Science
IEEE Symposium on Security and Privacy
17 May 2015

We design and develop ObliVM, a programming framework for secure computation, and demonstrate the scalability of the framework to bigger data sizes. Expand

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

Kartik Nayak, Srijan Kumar, A. Miller, E. Shi
Computer Science
IEEE European Symposium on Security and Privacy…
21 March 2016

We expand the mining strategy space to include novel "stubborn" strategies that, for a large range of parameters, earn the miner more revenue. Expand

Oblivious Data Structures

Xiao Wang, Kartik Nayak, C. Liu, E. Shi, E. Stefanov, Y. Huang
Computer Science
IACR Cryptol. ePrint Arch.
3 November 2014

We design novel, asymptotically more efficient data structures and algorithms for programs whose data access patterns exhibit some degree of predictability. Expand

GraphSC: Parallel Secure Computation Made Easy

Kartik Nayak, X. Wang, Stratis Ioannidis, Udi Weinsberg, N. Taft, E. Shi
Computer Science
IEEE Symposium on Security and Privacy
17 May 2015

We propose introducing modern parallel programming paradigms to secure computation, enabling their secure execution on large datasets. Expand

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

I. Abraham, D. Malkhi, Kartik Nayak, Ling Ren, A. Spiegelman
Computer Science
ArXiv
9 December 2016

The decentralized cryptocurrency Bitcoin has experienced great success but also encountered many challenges. Expand

Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus

I. Abraham, D. Malkhi, Kartik Nayak, Ling Ren, A. Spiegelman
Computer Science
OPODIS
9 December 2016

We propose Solida, a decentralized blockchain protocol based on reconfigurable Byzantine consensus augmented by proof-of-work. Expand

Asymptotically Tight Bounds for Composing ORAM with PIR

I. Abraham, Christopher W. Fletcher, Kartik Nayak, Benny Pinkas, Ling Ren
Computer Science
Public Key Cryptography
28 March 2017

Oblivious RAM is a cryptographic primitive that allows a trusted client to outsource storage to an untrusted server while hiding the client’s memory access patterns to the server. Expand

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

Kartik Nayak, D. Marino, P. Efstathopoulos, T. Dumitras
Computer Science, Engineering
RAID
17 September 2014

The security of deployed and actively used systems is a moving target, influenced by factors not captured in the existing security metrics. Expand

Efficient Synchronous Byzantine Consensus

I. Abraham, S. Devadas, D. Dolev, Kartik Nayak, L. Ren
Computer Science
7 April 2017

We present new protocols for Byzantine state machine replication and Byzantine agreement in the synchronous and authenticated setting. Expand

Practical Synchronous Byzantine Consensus

Ling Ren, Kartik Nayak, I. Abraham, S. Devadas
Computer Science
IACR Cryptol. ePrint Arch.
7 April 2017

We present new protocols for Byzantine state machine replication and Byzantine agreement in the synchronous and authenticated setting. Expand

Recommended Authors