Kushal Babel

According to our database, Kushal Babel authored at least 10 papers between 2017 and 2023.

Collaborative distances:

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

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