Reducing the gas usage of Ethereum smart contracts without a sidechain S Farokhnia, AK Goharshady 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-3, 2023 | 16 | 2023 |
Asparagus: Automated synthesis of parametric gas upper-bounds for smart contracts Z Cai, S Farokhnia, AK Goharshady, S Hitarth Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 882-911, 2023 | 14 | 2023 |
Alleviating high gas costs by secure and trustless off-chain execution of smart contracts S Farokhnia, A Kafshdar Goharshady Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 258-261, 2023 | 14 | 2023 |
Pixiu: Optimal block production revenues on cardano T Barakbayeva, S Farokhnia, A Goharshady, M Gufler, S Novozhilov 2024 IEEE International Conference on Blockchain (Blockchain), 491-496, 2024 | 2 | 2024 |
Lazy contracts: Alleviating high gas costs by secure and trustless off-chain execution of smart contracts S Farokhnia arXiv preprint arXiv:2309.11317, 2023 | 2 | 2023 |
Options and Futures Imperil Bitcoin's Security (Long Version) S Farokhnia, AK Goharshady | 1 | 2024 |
Pixiu: Optimal block production revenues on cardano (long version) T Barakbayeva, S Farokhnia, AK Goharshady, M Gufler, S Novozhilov | 1 | 2024 |
Options and Futures Imperil Bitcoin's Security S Farokhnia, AK Goharshady 2024 IEEE International Conference on Blockchain (Blockchain), 157-164, 2024 | | 2024 |