Mahimna Kelkar

Featured in: Favicon

arxiv.org

coindesk.com

Articles

Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning

Sep 8, 2023 | eprint.iacr.org | Kushal Babel |Yan Ji |Mahimna Kelkar |Mojan Javaheripi

Paper 2023/1338 , Cornell Tech, IC3, University of California San Diego, Cornell Tech, IC3, Cornell Tech, IC3, University of California San Diego, Cornell Tech, IC3 We introduce Lanturn: a general purpose adaptive learning-based framework for measuring the cryptoeconomic security of composed decentralized-finance (DeFi) smart contracts.
One-Message Secure Reductions: On the Cost of Converting Correlations

Aug 15, 2023 | eprint.iacr.org | Yuval Ishai |Mahimna Kelkar |Varun Narayanan |Liav Zafar

Paper 2023/1225 , Technion – Israel Institute of Technology, Cornell University, University of California, Los Angeles, Technion – Israel Institute of Technology Correlated secret randomness is a useful resource for secure computation protocols, often enabling dramatic speedups compared to protocols in the plain model. This has motivated a line of work on identifying and securely generating useful correlations.
Buying Time: Latency Racing vs. Bidding in Transaction Ordering

Jun 3, 2023 | arxiv.org | Jan Christoph |Mahimna Kelkar |Jan Schlegel |Edward Felten

arXiv:2306.02179 (cs) [Submitted on 3 Jun 2023 (v1), last revised 16 Aug 2023 (this version, v2)] Download PDF Subjects: Computer Science and Game Theory (cs.GT); Cryptography and Security (cs.CR); Theoretical Economics (econ.TH) Cite as: arXiv:2306.02179 [cs.GT] (or arXiv:2306.02179v2 [cs.GT] for this version) https://doi.org/10.48550/arXiv.2306.02179 Submission history From: Mahimna Kelkar [ view email] [v1] Sat, 3 Jun 2023 19:20:39 UTC (322 KB) [v2] Wed, 16 Aug 2023 14:33:49 UTC (49 KB)...
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts

May 18, 2023 | arxiv.org | Philip Daian |Mahimna Kelkar |Ari Juels

[Submitted on 9 Sep 2021 ( v1 ), last revised 18 May 2023 (this version, v2)] Title:Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Download a PDF of the paper titled Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts, by Kushal Babel and 3 other authors Download PDF Abstract: We introduce the Clockwork Finance Framework (CFF), a general purpose, formal verification framework for mechanized reasoning about the economic security...