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 | 60 | 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 | 14 | 2020 |
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 | 11 | 2023 |
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 | 11 | 2022 |
Strategic peer selection using transaction value and latency K Babel, L Baker Proceedings of the 2022 ACM CCS Workshop on Decentralized Finance and …, 2022 | 9 | 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 | 7 | 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 | 5 | 2023 |
Complete knowledge: Preventing encumbrance of cryptographic secrets M Kelkar, K Babel, P Daian, J Austgen, V Buterin, A Juels Cryptology ePrint Archive, 2023 | 5 | 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 | 2 | 2017 |
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 | | |