[CV] [Scholar] [Short Research Statement]
Latest manuscripts
All Publications
  1. Voting-Bloc Entropy: A New Metric for DAO Decentralization
    Andrés Fábrega, Amy Zhao, Jay Yu, James Austgen, Sarah Allen, Kushal Babel, Mahimna Kelkar, Ari Juels
    USENIX Security 2025
  2. Secure Sorting and Selection via Function Secret Sharing
    (alphabetical ordering) Amit Agarwal, Elette Boyle, Nishanth Chandran, Niv Gilboa, Divya Gupta, Yuval Ishai, Mahimna Kelkar, Yiping Ma
    ACM CCS 2024
  3. Atomic and Fair Data Exchange via Blockchain
    Ertem Nusret Tas, István András Seres, Yinuo Zhang, Márk Melczer, Mahimna Kelkar, Joseph Bonneau, Valeria Nikolaenko
    ACM CCS 2024
    Distinguished Paper Award
  4. Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets
    Mahimna Kelkar*, Kushal Babel*, Philip Daian*, James Austgen, Vitalik Buterin, Ari Juels (*equal contribution)
    ACM CCS 2024
  5. Computationally Secure Aggregation and Private Information Retrieval in the Shuffle Model
    (alphabetical ordering) Adrià Gascón, Yuval Ishai, Mahimna Kelkar, Baiyu Li, Yiping Ma, Mariana Raykova
    ACM CCS 2024
  6. Interactive Authentication
    Deepak Maram, Mahimna Kelkar, Ittay Eyal
    ACM CCS 2024
  7. BoLD: Fast and Cheap Dispute Resolution
    (alphabetical ordering) Mario M. Alvarez et al.
    AFT 2024
  8. Compressing Unit-Vector Correlations via Sparse Pseudorandom Generators
    (alphabetical ordering) Amit Agarwal, Elette Boyle, Niv Gilboa, Yuval Ishai, Mahimna Kelkar, Yiping Ma
    CRYPTO 2024
  9. Information-Theoretic Single-Server PIR in the Shuffle Model
    (alphabetical ordering) Yuval Ishai, Mahimna Kelkar, Daniel Lee, Yiping Ma
    ITC 2024
  10. GoAT: File Geolocation via Anchor Timestamping
    Deepak Maram, Mahimna Kelkar, Iddo Bentov, Ari Juels
    FC 2024
  11. Truncator: Time-space Tradeoff of Cryptographic Primitives
    (alphabetical ordering) Foteini Baldimtsi, Konstantinos Chalkias, Panagiotis Chatzigiannis, Mahimna Kelkar
    FC 2024
  12. Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning
    Kushal Babel*, Mojan Javaheripi*, Yan Ji, Mahimna Kelkar, Farinaz Koushanfar, Ari Juels
    ACM CCS 2023
  13. Themis: Fast, Strong Order-Fairness in Byzantine Consensus
    Mahimna Kelkar, Soubhik Deb, Sishan Long, Ari Juels, Sreeram Kannan
    ACM CCS 2023
    Prototyped by Chainlink
  14. Zef: Low-latency, Scalable, Private Payments
    Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar, George Danezis
    WPES 2023
    Commercialized by Linera
  15. Buying Time: Latency Racing vs. Bidding for Transaction Ordering
    Akaki Mamageishvili, Mahimna Kelkar, Jan Christoph Schlegel, Edward Felten
    AFT 2023
  16. STROBE: Streaming Threshold Random Beacons
    (alphabetical ordering) Donald Beaver, Konstantinos Chalkias, Mahimna Kelkar, Lefteris Kokoris Kogias, Kevin Lewi, Ladi de Naurois, Valeria Nikolaenko, Arnab Roy, Alberto Sonnino
    AFT 2023
  17. One-Message Secure Reductions: On the Cost of Converting Correlations
    (alphabetical ordering) Yuval Ishai, Mahimna Kelkar, Varun Narayanan, Liav Zafar
    CRYPTO 2023
  18. 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
    Best 2023 DeFi Paper (awarded by the DeFi Workshop at CCS 2024)
  19. Order-Fair Consensus in the Permissionless Setting
    Mahimna Kelkar, Soubhik Deb, Sreeram Kannan
    Short version in APKC 2022
    Best Paper Award
  20. Secure Poisson Regression
    Mahimna Kelkar, Phi Hung Le, Mariana Raykova, Karn Seth
    USENIX Security 2022
  21. 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
  22. Order-Fairness for Byzantine Consensus
    Mahimna Kelkar, Fan Zhang, Steven Goldfeder, Ari Juels
    CRYPTO 2020
  23. Flexible Signatures: Towards Making Authentication Suitable for Real-Time Environments
    Duc V. Le, Mahimna Kelkar, Aniket Kate
    ESORICS 2019
Selected Talks
Internships and Visits
Service