Sidi Mohamed Beillahi

University of Toronto — Canada

Computer Science · Physical Sciences

7h-index183citations38works4.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Blockchain Technology Applications and Security(16), Distributed systems and fault tolerance(14), Security and Verification in Computing(8), Advanced Data Storage Technologies(6), Logic, programming, and type systems(5)

Publications38 total

HEMVM: A Heterogeneous Blockchain Framework for Interoperable Virtual Machines
Proceedings of the ACM on Programming Languages·2025Open Access
Enforcing Control Flow Integrity on DeFi Smart Contracts
arXiv (Cornell University)·2025Open Access
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
2024· 1 cited
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
arXiv (Cornell University)·2024Open Access
Demystifying Invariant Effectiveness for Securing Smart Contracts
Proceedings of the ACM on software engineering.·2024· 15 citedOpen Access
Assessing Code Generation with Intermediate Languages
arXiv (Cornell University)·2024Open Access
LVMT: An Efficient Authenticated Storage for Blockchain
ACM Transactions on Storage·2024· 3 citedOpen Access
Demystifying Invariant Effectiveness for Securing Smart Contracts
arXiv (Cornell University)·2024· 1 citedOpen Access
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
2024· 19 cited
Safeguarding DeFi Smart Contracts against Oracle Deviations
2024· 11 cited
Safeguarding DeFi Smart Contracts against Oracle Deviations
arXiv (Cornell University)·2024· 1 citedOpen Access
LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains
IEEE Transactions on Network and Service Management·2023· 4 cited
A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks
2023· 8 cited
Möbius: an Atomic State Sharding Design for Account-Based Blockchains
2023
Comparing Causal Convergence Consistency Models
Lecture notes in computer science·2023
SigVM: enabling event-driven execution for truly decentralized smart contracts
Proceedings of the ACM on Programming Languages·2022· 2 citedOpen Access
Automated Synthesis of Asynchronizations
arXiv (Cornell University)·2022Open Access
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
arXiv (Cornell University)·2022· 1 citedOpen Access
LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions
2022· 6 cited
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts
2022· 6 cited
page 1 of 2Next →

Frequent Co-authors

Fan Long(17), Andreas Veneris(12), Constantin Enea(11), Ahmed Bouajjani(10), Zhiyang Chen(6), Sofiène Tahar(5), Ye Liu(4), Yi Li(4), Cyrus Minwalla(4), Han Du(4), Keerthi Nelaturu(3), Zihan Zhao(3), Peilun Li(3), Umair Siddique(3), Xun Deng(2), Jemin Andrew Choi(2), Mohamed Yousri Mahmoud(2), Srisht Fateh Singh(2), Panagiotis Michalopoulos(2), C. Li(2)