Kushal Babel

According to our database, Kushal Babel authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Sting Framework: Proving the Existence of Superclass Adversaries.

Mahimna Kelkar, Yunqi Li, Nerla Jean-Louis, Carolina Ortega Pérez, Kushal Babel, Andrew Miller, Ari Juels

IACR Cryptol. ePrint Arch., 2024

PROF: Protected Order Flow in a Profit-Seeking World.

Kushal Babel, Nerla Jean-Louis, Yan Ji, Ujval Misra, Mahimna Kelkar, Kosala Yapa Mudiyanselage, Andrew Miller, Ari Juels

IACR Cryptol. ePrint Arch., 2024

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

Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets.

Mahimna Kelkar, Kushal Babel, Philip Daian, James Austgen, Vitalik Buterin, Ari Juels

IACR Cryptol. ePrint Arch., 2023

Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning.

Kushal Babel, Mojan Javaheripi, Yan Ji, Mahimna Kelkar, Farinaz Koushanfar, Ari Juels

IACR Cryptol. ePrint Arch., 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

Mysticeti: Low-Latency DAG Consensus with Fast Commit Path.

Kushal Babel, Andrey Chursin, George Danezis, Lefteris Kokoris-Kogias, Alberto Sonnino

CoRR, 2023

2022

SHORTSTACK : Distributed, Fault-tolerant, Oblivious Data Access.

Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal

IACR Cryptol. ePrint Arch., 2022

Strategic Peer Selection Using Transaction Value and Latency.

Kushal Babel, Lucas Baker

Proceedings of the 2022 ACM CCS Workshop on Decentralized Finance and Security, 2022

2021

Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.

Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels

IACR Cryptol. ePrint Arch., 2021

2020

On the semantics of communications when verifying equivalence properties.

Kushal Babel, Vincent Cheval, Steve Kremer

J. Comput. Secur., 2020

2017

On Communication Models When Verifying Equivalence Properties.

Kushal Babel, Vincent Cheval, Steve Kremer

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017