Mahimna Kelkar

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



I am a third 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 help organize the Security and Privacy Discussion Group (SecDG) at Cornell.

CV (last updated March 2020)

Publications and Preprints

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

  • Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
    Kushal Babel*, Philip Daian*, Mahimna Kelkar*, Ari Juels (*equal contribution)
    2021
    [eprint]

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

  • Order-Fair Consensus in the Permissionless Setting
    Mahimna Kelkar, Soubhik Deb, Sreeram Kannan
    2021
    [eprint]

  • Secure Poisson Regression
    Mahimna Kelkar, Phi Hung Le, Mariana Raykova, Karn Seth
    USENIX Security 2022
    [eprint]

  • MPC-Friendly Symmetric Cryptography from Alternating Moduli: Candidates, Protocols, and Applications
    Itai Dinur, Steven Goldfeder, Tzipora Halevi, Yuval Ishai, Mahimna Kelkar, Vivek Sharma, Greg Zaverucha (alphabetical ordering)
    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)

Work

  • (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

  • Shadow Program Committee - IEEE S&P 2020
  • External Reviewer - FC 2020, CRYPTO {2020, 2021}, USENIX Security 2020