Kushal Babel

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 16

Top Topics

Automated Analysis

Fuzzy Classifier

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Kushal Babel, Nerla Jean-Louis, Yan Ji, Ujval Misra, Mahimna Kelkar, Kosala Yapa Mudiyanselage, Andrew Miller, Ari Juels
PROF: Protected Order Flow in a Profit-Seeking World. IACR Cryptol. ePrint Arch. 2024 (2024)
Kushal Babel, Andrey Chursin, George Danezis, Lefteris Kokoris-Kogias, Alberto Sonnino
Mysticeti: Low-Latency DAG Consensus with Fast Commit Path. CoRR (2023)
Kushal Babel, Mojan Javaheripi, Yan Ji, Mahimna Kelkar, Farinaz Koushanfar, Ari Juels
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning. IACR Cryptol. ePrint Arch. 2023 (2023)
Mahimna Kelkar, Kushal Babel, Philip Daian, James Austgen, Vitalik Buterin, Ari Juels
Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets. IACR Cryptol. ePrint Arch. 2023 (2023)
Isaac C. Sheff, Xinwen Wang, Kushal Babel, Haobin Ni, Robbert van Renesse, Andrew C. Myers
Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications. ACM Trans. Comput. Syst. 41 (2023)
Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. SP (2023)
Kushal Babel, Mojan Javaheripi, Yan Ji, Mahimna Kelkar, Farinaz Koushanfar, Ari Juels
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning. CCS (2023)
James Austgen, Andrés Fábrega, Sarah Allen, Kushal Babel, Mahimna Kelkar, Ari Juels
DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs. CoRR (2023)
Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal
SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access. OSDI (2022)
Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal
SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access. CoRR (2022)
Kushal Babel, Lucas Baker
Strategic Peer Selection Using Transaction Value and Latency. DeFi@CCS (2022)
Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal
SHORTSTACK : Distributed, Fault-tolerant, Oblivious Data Access. IACR Cryptol. ePrint Arch. 2022 (2022)
Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. IACR Cryptol. ePrint Arch. 2021 (2021)
Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. CoRR (2021)
Kushal Babel, Vincent Cheval, Steve Kremer
On the semantics of communications when verifying equivalence properties. J. Comput. Secur. 28 (1) (2020)
Kushal Babel, Vincent Cheval, Steve Kremer
On Communication Models When Verifying Equivalence Properties. POST (2017)