Kushal Babel
Kushal Babel
PhD Student, Cornell University
Verified email at - Homepage
Cited by
Cited by
Clockwork finance: Automated analysis of economic security in smart contracts
K Babel, P Daian, M Kelkar, A Juels
2023 IEEE Symposium on Security and Privacy (SP), 2021
On the semantics of communications when verifying equivalence properties
K Babel, V Cheval, S Kremer
Journal of Computer Security 28 (1), 71-127, 2020
SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access
M Vuppalapati, K Babel, A Khandelwal, R Agarwal
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22), 2022
Mysticeti: Low-latency dag consensus with fast commit path
K Babel, A Chursin, G Danezis, L Kokoris-Kogias, A Sonnino
arXiv preprint arXiv:2310.14821, 2023
Strategic peer selection using transaction value and latency
K Babel, L Baker
Proceedings of the 2022 ACM CCS Workshop on Decentralized Finance and …, 2022
Lanturn: Measuring economic security of smart contracts through adaptive learning
K Babel, M Javaheripi, Y Ji, M Kelkar, F Koushanfar, A Juels
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
Dao decentralization: Voting-bloc entropy, bribery, and dark daos
J Austgen, A Fábrega, S Allen, K Babel, M Kelkar, A Juels
arXiv preprint arXiv:2311.03530, 2023
Complete knowledge: Preventing encumbrance of cryptographic secrets
M Kelkar, K Babel, P Daian, J Austgen, V Buterin, A Juels
Cryptology ePrint Archive, 2023
On communication models when verifying equivalence properties
K Babel, V Cheval, S Kremer
Principles of Security and Trust: 6th International Conference, POST 2017 …, 2017
Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications
I Sheff, X Wang, K Babel, H Ni, R van Renesse, AC Myers
ACM Transactions on Computer Systems 41 (1-4), 1-52, 2023
PROF: Fair Transaction-Ordering in a Profit-Seeking World
K Babel, Y Ji, A Juels, M Kelkar …, 2023
Computer Systems
B Alkhatib, S Udayashankar, S Qunaibi, A Alquraan, M Alfatafta, ...
ACM Transactions on 41 (1-4), 2023
Proceedings of the 6th International Conference on Principles of Security and Trust-Volume 10204
M Maffei, M Ryan
Springer-Verlag, 2017
Bücher und Buch-Herausgaben
M Maffei, M Ryan, P Ah-Fat, M Alabbad, M Alvim, Z Aslanyan, N Atzei, ...
D1. 1-A taxonomy of process equivalences: the communication model revisited
K Babel, V Cheval, S Kremer
The system can't perform the operation now. Try again later.
Articles 1–15