6
Publications
165
Citations
6
H-Index
2022
Active since
Affiliations
Mahimna Kelkar is an author at Cornell University specializing in blockchain, formal verification, and mechanism design.
Top concepts
BlockchainEngineeringCryptographyComputer ScienceMechanism DesignFormal VerificationData PrivacyVerificationData SecurityFormal Methods
Publications per year
2022–2024
6
6
Themis: Fast, Strong Order-Fairness in Byzantine Consensus
Mahimna Kelkar, Soubhik Deb, Sishan Long et al. · 2023 · 49 citations · Full text
Blockchain Consensus Protocol, Engineering, Fair Ordering +10
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
Kushal Babel, Philip Daian, Mahimna Kelkar et al. · 2023 · 36 citations
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning
Kushal Babel, Mojan Javaheripi, Yan Ji et al. · 2023 · 17 citations
DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs
James Austgen, Andrés Fábrega, Sarah Levin Allen et al. · arXiv (Cornell University) · 2023 · 14 citations · Full text
Rows per page
1–5 of 6