On Communication Models When Verifying Equivalence Properties. - Kushal Babel; Vincent Cheval; Steve Kremer (POST, 2017)

On the semantics of communications when verifying equivalence properties. - Kushal Babel; Vincent Cheval; Steve Kremer (J. Comput. Secur., 2020)

Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. - Kushal Babel; Philip Daian; Mahimna Kelkar; Ari Juels (IACR Cryptol. ePrint Arch., 2021)

Strategic Peer Selection Using Transaction Value and Latency. - Kushal Babel; Lucas Baker (DeFi@CCS, 2022)

SHORTSTACK : Distributed, Fault-tolerant, Oblivious Data Access. - Midhul Vuppalapati; Kushal Babel; Anurag Khandelwal; Rachit Agarwal 001 (IACR Cryptol. ePrint Arch., 2022)

Mysticeti: Low-Latency DAG Consensus with Fast Commit Path. - Kushal Babel; Andrey Chursin; George Danezis; Lefteris Kokoris-Kogias; Alberto Sonnino (CoRR, 2023)

DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs. - James Austgen; Andrés Fábrega; Sarah Allen; Kushal Babel; Mahimna Kelkar; Ari Juels (CoRR, 2023)

Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning. - Kushal Babel; Mojan Javaheripi; Yan Ji 001; Mahimna Kelkar; Farinaz Koushanfar; Ari Juels (IACR Cryptol. ePrint Arch., 2023)

Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets. - Mahimna Kelkar; Kushal Babel; Philip Daian; James Austgen; Vitalik Buterin; Ari Juels (IACR Cryptol. ePrint Arch., 2023)

Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications. - Isaac C. Sheff; Xinwen Wang; Kushal Babel; Haobin Ni; Robbert van Renesse; Andrew C. Myers (ACM Trans. Comput. Syst., 2023)

PROF: Protected Order Flow in a Profit-Seeking World. - Kushal Babel; Nerla Jean-Louis; Yan Ji 001; Ujval Misra; Mahimna Kelkar; Kosala Yapa Mudiyanselage; Andrew Miller 001; Ari Juels (IACR Cryptol. ePrint Arch., 2024)

The Sting Framework: Proving the Existence of Superclass Adversaries. - Mahimna Kelkar; Yunqi Li 002; Nerla Jean-Louis; Carolina Ortega Pérez; Kushal Babel; Andrew Miller 001; Ari Juels (IACR Cryptol. ePrint Arch., 2024)

Mysticeti: Reaching the Latency Limits with Uncertified DAGs. - Kushal Babel; Andrey Chursin; George Danezis; Anastasios Kichidis; Lefteris Kokoris-Kogias; Arun Koshy; Alberto Sonnino; Mingwei Tian (NDSS, 2025)

Liquefaction: Privately Liquefying Blockchain Assets. - James Austgen; Andrés Fábrega; Mahimna Kelkar; Dani Vilardell; Sarah Allen; Kushal Babel; Jay Yu; Ari Juels (SP, 2025)

MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus. - Mohammad Mussadiq Jalalzai; Kushal Babel (CoRR, 2025)