Kartik Nayak

 

I am a fifth year Ph.D. student in the Computer Science Department at the University Of Maryland, College Park. I am advised by Professor Jonathan Katz and Professor Elaine Shi.

I am a recipient of the 2016 Google PhD fellowship in Security.

Please find my CV here (updated October 2017)

Research Interests

I am interested in security and applied cryptography. More specifically, I am working to improve the efficiency of privacy-preserving computation by improving oblivious RAMs, secure multiparty computation, designing secure processors. I am also interested in working on blockchains.

Publications

(* denotes author names in alphabetical order)

Asymptotically Tight Bounds for Composing ORAM with PIR *
Paper
Published in Public Key Cryptography (PKC), 2017
Ittai Abraham, Christopher W. Fletcher, Kartik Nayak, Benny Pinkas, Ling Ren

HOP: Hardware makes Obfuscation Practical
Paper | Code | Slides | Videos
Published in Network and Distributed System Security (NDSS), 2017
Kartik Nayak, Christopher W. Fletcher, Ling Ren, Nishanth Chandran, Satya Lokam, Elaine Shi, Vipul Goyal

Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack
Paper | Code | Slides
Published in IEEE European Symposium on Security and Privacy (Euro S&P), 2016
Kartik Nayak, Srijan Kumar, Andrew Miller, Elaine Shi

GraphSC: Parallel Secure Computation Made Easy
Paper | Code | Slides | Video
Published in IEEE Symposium on Security and Privacy (S&P), 2015
Kartik Nayak, Xiao Shaun Wang, Stratis Ioannidis, Udi Weinsberg, Nina Taft, Elaine Shi

ObliVM: A Programming Framework for Secure Computation
Paper | Code
Published in IEEE Symposium on Security and Privacy (S&P), 2015
1st place in NYU-Poly CSAW Applied Security Research Best Paper Competition
Chang Liu, Xiao Shaun Wang, Kartik Nayak, Yan Huang, Elaine Shi

Oblivious Data Structures
Paper | Slides
Published in ACM Conference on Computer and Communications Security (CCS), 2014
Finalist in NYU-Poly CSAW Applied Security Research Best Paper Competition
Xiao Shaun Wang, Kartik Nayak, Chang Liu, T-H Hubert Chan, Elaine Shi, Emil Stefanov, Yan Huang

Some Vulnerabilities are Different than Others: Studying Vulnerabilities and Attack Surfaces in the Wild
Paper | Announcement | Slides | Video
Published in 17th International Symposium on Research in Attacks, Intrusions and Defenses
Kartik Nayak, Daniel Marino, Petros Efstathopoulos, Tudor Dumitras

Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptography Frameworks
Paper
Published in Onward! 2016
Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras

Preprints

(* denotes author names in alphabetical order)

Oblivious Computation With Data Locality *
Paper
Gilad Asharov, T-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren and Elaine Shi

Efficient Synchronous Byzantine Consensus *
Paper
Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren

Solida: A Cryptocurrency Based on Reconfigurable Byzantine Consensus *
Paper
Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Alexander Spiegelman

An Oblivious Parallel RAM with O(log^2 N) Parallel Runtime Blowup
Paper
Kartik Nayak, Jonathan Katz

Education

Work Experience

VMware Research, Palo Alto, June - August 2016
Worked on blockchains and Oblivious RAMs
Mentors: Ittai Abraham, Dahlia Malkhi, Benny Pinkas

Microsoft Research, Bangalore, India, June - August 2015
Worked towards designing a secure processor to achieve VBB obfuscation of RAM programs
Mentors: Vipul Goyal, Satya Lokam, Nishanth Chandran

Technicolor Research, Los Altos, June - August 2014
Worked towards parallel secure computation frame work for graph parallel algorithms
Mentors: Stratis Ioannidis, Udi Weinsberg, Nina Taft

Google India, Bangalore, July 2011 - June 2013
Worked towards reducing spam from Google Apps for business

Microsoft IDC, Hyderabad, May - July 2010
Worked towards designing a Bluetooth clicker for a powerpoint presentation using Bluetooth HID profile on Windows 6.5 mobile phones