Kushal Babel

28 papers A* 7Journal 19Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Liquefaction: Privately Liquefying Blockchain Assets.
SP
James Austgen, Andrés Fábrega, Mahimna Kelkar, Dani Vilardell, Sarah Allen, Kushal Babel, Jay Yu, Ari Juels
2025 J jnl
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus.
CoRR
Mohammad Mussadiq Jalalzai, Kushal Babel
2025 A* conf
Mysticeti: Reaching the Latency Limits with Uncertified DAGs.
NDSS
Kushal Babel, Andrey Chursin, George Danezis, Anastasios Kichidis, Lefteris Kokoris-Kogias, Arun Koshy, Alberto Sonnino, Mingwei Tian
2025 J jnl
Time-Lock Encrypted Storage for Blockchains.
IACR Cryptol. ePrint Arch.
Amit Agarwal, Kushal Babel, Sourav Das, Babak Poorebrahim Gilkalaye
2025 J jnl
Timing Games in Responsive Consensus Protocols.
CoRR
Kaya Alpturer, Kushal Babel, Aditya Saraf
2025 A* conf
Voting-Bloc Entropy: A New Metric for DAO Decentralization.
USENIX Security Symposium
Andrés Fábrega, Amy Zhao, Jay Yu, James Austgen, Sarah Allen, Kushal Babel, Mahimna Kelkar, Ari Juels
2025 J jnl
Voting-Bloc Entropy: A New Metric for DAO Decentralization.
CoRR
Andrés Fábrega, Amy Zhao, Jay Yu, James Austgen, Sarah Allen, Kushal Babel, Mahimna Kelkar, Ari Juels
2025 J jnl
Weighted Batched Threshold Encryption with Applications to Mempool Privacy.
IACR Cryptol. ePrint Arch.
Amit Agarwal, Kushal Babel, Sourav Das, Babak Poorebrahim Gilkalaye, Arup Mondal, Benny Pinkas, Peter Rindal, Aayush Yadav
2024 A* conf
Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets.
CCS
Mahimna Kelkar, Kushal Babel, Philip Daian, James Austgen, Vitalik Buterin, Ari Juels
2024 J jnl
Liquefaction: Privately Liquefying Blockchain Assets.
CoRR
James Austgen, Andrés Fábrega, Mahimna Kelkar, Dani Vilardell, Sarah Allen, Kushal Babel, Jay Yu, Ari Juels
2024 J jnl
PROF: Protected Order Flow in a Profit-Seeking World.
CoRR
Kushal Babel, Nerla Jean-Louis, Yan Ji, Ujval Misra, Mahimna Kelkar, Kosala Yapa Mudiyanselage, Andrew Miller, Ari Juels
2024 J jnl
PROF: Protected Order Flow in a Profit-Seeking World.
IACR Cryptol. ePrint Arch.
Kushal Babel, Nerla Jean-Louis, Yan Ji, Ujval Misra, Mahimna Kelkar, Kosala Yapa Mudiyanselage, Andrew Miller, Ari Juels
2024 J jnl
The Sting Framework: Proving the Existence of Superclass Adversaries.
IACR Cryptol. ePrint Arch.
Mahimna Kelkar, Yunqi Li, Nerla Jean-Louis, Carolina Ortega Pérez, Kushal Babel, Andrew Miller, Ari Juels
2023 J jnl
Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications.
ACM Trans. Comput. Syst.
Isaac C. Sheff, Xinwen Wang, Kushal Babel, Haobin Ni, Robbert van Renesse, Andrew C. Myers
2023 A* conf
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.
SP
Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels
2023 J jnl
Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets.
IACR Cryptol. ePrint Arch.
Mahimna Kelkar, Kushal Babel, Philip Daian, James Austgen, Vitalik Buterin, Ari Juels
2023 J jnl
DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs.
CoRR
James Austgen, Andrés Fábrega, Sarah Allen, Kushal Babel, Mahimna Kelkar, Ari Juels
2023 A* conf
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning.
CCS
Kushal Babel, Mojan Javaheripi, Yan Ji, Mahimna Kelkar, Farinaz Koushanfar, Ari Juels
2023 J jnl
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning.
IACR Cryptol. ePrint Arch.
Kushal Babel, Mojan Javaheripi, Yan Ji, Mahimna Kelkar, Farinaz Koushanfar, Ari Juels
2023 J jnl
Mysticeti: Low-Latency DAG Consensus with Fast Commit Path.
CoRR
Kushal Babel, Andrey Chursin, George Danezis, Lefteris Kokoris-Kogias, Alberto Sonnino
2022 J jnl
SHORTSTACK : Distributed, Fault-tolerant, Oblivious Data Access.
IACR Cryptol. ePrint Arch.
Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal
2022 A* conf
SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access.
OSDI
Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal
2022 J jnl
SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access.
CoRR
Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal
2022 — conf
Strategic Peer Selection Using Transaction Value and Latency.
DeFi@CCS
Kushal Babel, Lucas Baker
2021 J jnl
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.
CoRR
Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels
2021 J jnl
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.
IACR Cryptol. ePrint Arch.
Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels
2020 J jnl
On the semantics of communications when verifying equivalence properties.
J. Comput. Secur.
Kushal Babel, Vincent Cheval, Steve Kremer
2017 — conf
On Communication Models When Verifying Equivalence Properties.
POST
Kushal Babel, Vincent Cheval, Steve Kremer