Mahimna Kelkar

mahimna [at] cs {dot} cornell (dot) edu



I am a fifth year PhD student in Computer Science at Cornell University advised by Ari Juels.
My current research interests are broadly in theoretical and applied cryptography with some emphasis on blockchains.

I completed my undergrad at Purdue, where I majored in Computer Science, Mathematics, and Statistics.
At Purdue, I was advised by Aniket Kate and Elias Bareinboim.

I previously helped organize the Security and Privacy Discussion Group (SecDG) at Cornell.

Publications and Preprints

  • Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets
    Mahimna Kelkar*, Kushal Babel*, Philip Daian*, James Austgen, Vitalik Buterin, Ari Juels (*equal contribution)
    2023
    [local copy]

  • Interactive Authentication
    Deepak Maram, Mahimna Kelkar, Ittay Eyal
    2022
    [eprint]

  • Zef: Low-latency, Scalable, Private Payments
    Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar, George Danezis
    2022
    [eprint]

  • Themis: Fast, Strong Order-Fairness in Byzantine Consensus
    Mahimna Kelkar, Soubhik Deb, Sishan Long, Ari Juels, Sreeram Kannan
    2021
    [eprint]
    [local copy] (updated)

  • GoAT: File Geolocation via Anchor Timestamping
    Deepak Maram, Iddo Bentov, Mahimna Kelkar, Ari Juels
    2021
    [eprint]

  • One-Message Secure Reductions: On the Cost of Converting Correlations
    (alphabetical ordering) Yuval Ishai, Mahimna Kelkar, Varun Narayanan, Liav Zafar
    Crypto 2023 (to appear)

  • Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
    Kushal Babel*, Philip Daian*, Mahimna Kelkar*, Ari Juels (*equal contribution)
    IEEE S&P (Oakland) 2023
    SCRF Research Impact Award
    [proc] [eprint]

  • Order-Fair Consensus in the Permissionless Setting
    Mahimna Kelkar, Soubhik Deb, Sreeram Kannan
    Short version in APKC 2022
    Best Paper Award
    [proc] [eprint]

  • Secure Poisson Regression
    Mahimna Kelkar, Phi Hung Le, Mariana Raykova, Karn Seth
    USENIX Security 2022
    [proc] [eprint]
    [Usenix Talk (15 min)]

  • MPC-Friendly Symmetric Cryptography from Alternating Moduli: Candidates, Protocols, and Applications
    (alphabetical ordering) Itai Dinur, Steven Goldfeder, Tzipora Halevi, Yuval Ishai, Mahimna Kelkar, Vivek Sharma, Greg Zaverucha
    CRYPTO 2021
    [proc] [eprint]
    [CRYPTO Talk (25 min)]

  • Order-Fairness for Byzantine Consensus
    Mahimna Kelkar, Fan Zhang, Steven Goldfeder, Ari Juels
    CRYPTO 2020
    [proc] [eprint]
    [IC3 Talk (15 min)] [CRYPTO Talk (25 min)] [Chainlink Talk (45 min)]

  • Flexible Signatures: Towards Making Authentication Suitable for Real-Time Environments
    Duc V. Le, Mahimna Kelkar, Aniket Kate
    ESORICS 2019
    [proc] [eprint] [poster]

Other Undergraduate Research

  • Sequence Embeddings using LSTM Networks: Applications to Cyber Security
    Apurva Gandhi*, Mahimna Kelkar*, Joey Ingram, Shawn Martin
    Sandia MLDL 2018
    [poster]

  • Counterfeit Mitigation using Blockchain Technology**
    Aniket Kate, Mahimna Kelkar, Donghang Lu, Easwar Vivek Mangipudi, Pedro Moreno-Sanchez, Krutarth Rao
    CERIAS 2018
    Second Place Best Poster Award
    [poster]

  • Regret Decision Theory
    Undergraduate Honors Project (Supervised by Elias Bareinboim)

* denotes equal contribution
** denotes alphabetical author ordering

Teaching

  • (Spring 2019) - CS 5433: Blockchains, Cryptocurrencies, and Smart Contracts (Cornell)
  • (Fall 2018) - CS 2800: Discrete Structures (Cornell)
  • (Spring 2017 - Fall 2017) - CS 25200: Systems Programming (Purdue)

Internships and Visits

  • (Spring 2022) Technion - Hosted by Yuval Ishai
  • (Summer 2021) Facebook Research - Novi Blockchain Cryptography Team
  • (Summer 2020) Google Research - Private Computing Team hosted by Karn Seth and Mariana Raykova
  • (Summer 2018) Sandia National Laboratories: Research Intern
  • (Summer 2017) Amazon: Software Engineering Intern - AWS Lambda
  • (2016 - 2018) FlightProfiler LLC: Chief Technology Officer

Academic Service

  • Program Committee - DeFi Workshop @ FC 2023
  • External Reviewer - CCS 2022, DISC 2022, Eurocrypt 2022, DES Journal (2021), CRYPTO {2020, 2021}, FC 2020, USENIX Security 2020
  • Shadow Program Committee - IEEE S&P 2020