Sidi Mohamed Beillahi

Most-cited papers

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
2022International Conference on Software Engineering57 citations Open access
Semantic Scholar
Demystifying Invariant Effectiveness for Securing Smart Contracts
Zhi-Yang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li +1 more
2024Proc. ACM Softw. Eng.38 citations Open access
Semantic Scholar
Safeguarding DeFi Smart Contracts Against Oracle Deviations
Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du +2 more
2024International Conference on Software Engineering32 citations Open access
Semantic Scholar
Robustness Against Transactional Causal Consistency
Sidi Mohamed Beillahi, A. Bouajjani, C. Enea
2019International Conference on Concurrency Theory31 citations Open access
Semantic Scholar
Checking Robustness Against Snapshot Isolation
Sidi Mohamed Beillahi, A. Bouajjani, C. Enea
2019International Conference on Computer Aided Verification22 citations Open access
Semantic Scholar
Behavioral simulation for smart contracts
Sidi Mohamed Beillahi, G. Ciocarlie, M. Emmi, C. Enea
2020ACM-SIGPLAN Symposium on Programming Language Design and Implementation17 citations Open access
Semantic Scholar
LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions
Jemin Andrew Choi, Sidi Mohamed Beillahi, Peilun Li, A. Veneris +1 more
2022International Conference on Blockchain14 citations
Semantic Scholar
This paper is included in the Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation.
Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu +2 more
11 citations
Semantic Scholar
A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks
Xun Deng, Zihan Zhao, Sidi Mohamed Beillahi, Han Du +4 more
2023IEEE International Conference on Decentralized Applications and Infrastructures9 citations
Semantic Scholar
LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains
Jemin Andrew Choi, Sidi Mohamed Beillahi, S. Singh, P. Michalopoulos +3 more
2024IEEE Transactions on Network and Service Management8 citations
Semantic Scholar
Formal Analysis of Power Electronic Systems
Sidi Mohamed Beillahi, Umair Siddique, S. Tahar
2015IEEE International Conference on Formal Engineering Methods7 citations
Semantic Scholar
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
Zhi-Yang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li +1 more
2024International Conference on Automated Software Engineering4 citations Open access
Semantic Scholar
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts
Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, A. Veneris +1 more
2022International Conference on Blockchain4 citations
Semantic Scholar
Checking Robustness Between Weak Transactional Consistency Models
Sidi Mohamed Beillahi, A. Bouajjani, C. Enea
2021European Symposium on Programming4 citations Open access
Semantic Scholar
Hierarchical Verification of Quantum Circuits
Sidi Mohamed Beillahi, M. Y. Mahmoud, S. Tahar
2016NASA Formal Methods4 citations
Semantic Scholar
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory
Sidi Mohamed Beillahi, Umair Siddique, S. Tahar
2016NSV@CAV4 citations
Semantic Scholar
On the Formal Analysis of Photonic Signal Processing Systems
Umair Siddique, Sidi Mohamed Beillahi, S. Tahar
2015International Workshop on Formal Methods for Industrial Critical Systems4 citations
Semantic Scholar
Assessing Code Generation with Intermediate Languages
Xun Deng, Si-Cheng Zhong, Honghua Dong, Jingyu Hu +3 more
2024arXiv.org3 citations
Semantic Scholar
Möbius: an Atomic State Sharding Design for Account-Based Blockchains
S. Singh, P. Michalopoulos, Sidi Mohamed Beillahi, A. Veneris +1 more
2023International Conference on Blockchain2 citations
Semantic Scholar
Automated Synthesis of Asynchronizations
Sidi Mohamed Beillahi, A. Bouajjani, C. Enea, Shuvendu K. Lahiri
2022Sensors Applications Symposium2 citations Open access
Semantic Scholar
A modeling and verification framework for optical quantum circuits
Sidi Mohamed Beillahi, M. Y. Mahmoud, S. Tahar
2019Formal Aspects of Computing2 citations
Semantic Scholar
Towards the Application of Formal Methods in Process Engineering
Sidi Mohamed Beillahi, Umair Siddique, S. Tahar
20142 citations
Semantic Scholar
Enforcing Control Flow Integrity on DeFi Smart Contracts
Zhi-Yang Chen, Sidi Mohamed Beillahi, Pasha Barahimi, Cyrus Minwalla +3 more
2025Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering1 citations Open access
Semantic Scholar
SigVM: enabling event-driven execution for truly decentralized smart contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai +2 more
2022Proc. ACM Program. Lang.1 citations Open access
Semantic Scholar
SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai +2 more
20211 citations
Semantic Scholar
Analysis of DeFi Oracles
Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du +2 more
1 citations
Semantic Scholar
HEMVM: A Heterogeneous Blockchain Framework for Interoperable Virtual Machines
Vladyslav Nekriach, Sidi Mohamed Beillahi, Chenxing Li, Peilun Li +3 more
2025Proc. ACM Program. Lang.0 citations Open access
Semantic Scholar
Comparing Causal Convergence Consistency Models
Sidi Mohamed Beillahi, A. Bouajjani, C. Enea
2023International Conference on Networked Systems0 citations
Semantic Scholar
Towards the Design Automation of Quantum Circuits
Sidi Mohamed Beillahi
20160 citations
Semantic Scholar
Automated verification of programs running on top of distributed systems
Sidi Mohamed Beillahi
0 citations Open access
Semantic Scholar