关注
Kushal Babel
Kushal Babel
PhD Student, Cornell University
在 cornell.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
602021
On the semantics of communications when verifying equivalence properties
K Babel, V Cheval, S Kremer
Journal of Computer Security 28 (1), 71-127, 2020
142020
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
112023
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
112022
Strategic peer selection using transaction value and latency
K Babel, L Baker
Proceedings of the 2022 ACM CCS Workshop on Decentralized Finance and …, 2022
92022
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
72023
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
52023
Complete knowledge: Preventing encumbrance of cryptographic secrets
M Kelkar, K Babel, P Daian, J Austgen, V Buterin, A Juels
Cryptology ePrint Archive, 2023
52023
On communication models when verifying equivalence properties
K Babel, V Cheval, S Kremer
Principles of Security and Trust: 6th International Conference, POST 2017 …, 2017
22017
PROF: Protected Order Flow in a Profit-Seeking World
K Babel, N Jean-Louis, Y Ji, U Misra, M Kelkar, KY Mudiyanselage, ...
arXiv preprint arXiv:2408.02303, 2024
2024
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
2023
Computer Systems
B Alkhatib, S Udayashankar, S Qunaibi, A Alquraan, M Alfatafta, ...
ACM Transactions on 41 (1-4), 2023
2023
Proceedings of the 6th International Conference on Principles of Security and Trust-Volume 10204
M Maffei, M Ryan
Springer-Verlag, 2017
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
系统目前无法执行此操作,请稍后再试。
文章 1–15