| Robustness against transactional causal consistency SM Beillahi, A Bouajjani, C Enea Logical Methods in Computer Science 17, 2021 | 34 | 2021 |
| Smart contracts refinement for gas optimization K Nelaturu, SM Beillahi, F Long, A Veneris 2021 3rd conference on blockchain research & applications for innovative …, 2021 | 21 | 2021 |
| Checking robustness against snapshot isolation SM Beillahi, A Bouajjani, C Enea Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 21 | 2019 |
| Behavioral simulation for smart contracts SM Beillahi, G Ciocarlie, M Emmi, C Enea Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 11 | 2020 |
| Flashsyn: Flash loan attack synthesis via counter example driven approximation Z Chen, SM Beillahi, F Long Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 9 | 2024 |
| Checking robustness between weak transactional consistency models SM Beillahi, A Bouajjani, C Enea Programming Languages and Systems: 30th European Symposium on Programming …, 2021 | 9 | 2021 |
| {LVMT}: An efficient authenticated storage for blockchain C Li, SM Beillahi, G Yang, M Wu, W Xu, F Long 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023 | 6 | 2023 |
| Formal analysis of power electronic systems SM Beillahi, U Siddique, S Tahar Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 6 | 2015 |
| A modeling and verification framework for optical quantum circuits SM Beillahi, MY Mahmoud, S Tahar Formal Aspects of Computing 31, 321-351, 2019 | 5 | 2019 |
| Automated auditing of price gouging TOD vulnerabilities in smart contracts SM Beillahi, E Keilty, K Nelaturu, A Veneris, F Long 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-6, 2022 | 4 | 2022 |
| Hierarchical verification of quantum circuits SM Beillahi, MY Mahmoud, S Tahar NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016 | 4 | 2016 |
| A Robust Front-Running Methodology for Malicious Flash-Loan DeFi Attacks X Deng, Z Zhao, SM Beillahi, H Du, C Minwalla, K Nelaturu, A Veneris, ... 2023 IEEE International Conference on Decentralized Applications and …, 2023 | 3 | 2023 |
| LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions JA Choi, SM Beillahi, P Li, A Veneris, F Long 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, 2022 | 3 | 2022 |
| Formal analysis of engineering systems based on signal-flow-graph theory SM Beillahi, U Siddique, S Tahar Numerical Software Verification: 9th International Workshop, NSV 2016 …, 2017 | 3 | 2017 |
| Optical quantum gates formalization in hol light SM Beillahi, MY Mahmoud, S Tahar Technical report, ECE Department, Concordia University, Montreal, QC, Canada, 2016 | 3 | 2016 |
| On the formal analysis of photonic signal processing systems U Siddique, SM Beillahi, S Tahar Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015 | 3 | 2015 |
| On the Formalization of Signal-Flow-Graphs in HOL SM Beillahi, U Siddique, S Tahar Technical report, Department of Electrical and Computer Engineering …, 2014 | 3 | 2014 |
| Towards the application of formal methods in process engineering SM Beillahi, U Siddique, S Tahar Fun With Formal Methods, 1-11, 2014 | 3 | 2014 |
| SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts Z Zhao, SM Beillahi, R Song, Y Cai, A Veneris, F Long arXiv preprint arXiv:2102.10784, 2021 | 2 | 2021 |
| Safeguarding DeFi Smart Contracts against Oracle Deviations X Deng, SM Beillahi, C Minwalla, H Du, A Veneris, F Long Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 1 | 2024 |
Fan LongUniversity of TorontoAdresse e-mail validée de csail.mit.edu
