Kushal Babel

According to our database, Kushal Babel authored at least 17 papers between 2017 and 2025.

Collaborative distances:

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

2025

Timing Games in Responsive Consensus Protocols.

Kaya Alpturer, Kushal Babel, Aditya Saraf

CoRR, October, 2025

MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus.

Mohammad Mussadiq Jalalzai, Kushal Babel

CoRR, February, 2025

Voting-Bloc Entropy: A New Metric for DAO Decentralization.

Andrés Fábrega, Amy Zhao, Jay Yu, James Austgen, Sarah Allen, Kushal Babel, Mahimna Kelkar, Ari Juels

Proceedings of the 34th USENIX Security Symposium, 2025

Liquefaction: Privately Liquefying Blockchain Assets.

James Austgen, Andrés Fábrega, Mahimna Kelkar, Dani Vilardell, Sarah Allen, Kushal Babel, Jay Yu, Ari Juels

Proceedings of the IEEE Symposium on Security and Privacy, 2025

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

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

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

Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets.

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

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 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

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

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

Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

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

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

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

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

Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 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

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