Kushal Babel

Kushal Babel

Cornell University - Ithaca / United States
Others
AD Scientific Index ID: 5606079
person_outline Kushal Babel's MOST POPULAR ARTICLES
1-) Clockwork finance: Automated analysis of economic security in smart contractsK Babel, P Daian, M Kelkar, A Juels2023 IEEE Symposium on Security and Privacy (SP), 2021582021
2-) Mysticeti: Reaching the Limits of Latency with Uncertified DAGsK Babel, A Chursin, G Danezis, A Kichidis, L Kokoris-Kogias, A Koshy, ...arXiv preprint arXiv:2310.14821, 2023152023
3-) On the semantics of communications when verifying equivalence propertiesK Babel, V Cheval, S KremerJournal of Computer Security 28 (1), 71-127, 2020142020
4-) Dao decentralization: Voting-bloc entropy, bribery, and dark daosJ Austgen, A Fábrega, S Allen, K Babel, M Kelkar, A JuelsarXiv preprint arXiv:2311.03530, 2023122023
5-) SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data AccessM Vuppalapati, K Babel, A Khandelwal, R Agarwal16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22), 2022112022