conf.researchr.org / Sidi Mohamed Beillahi
Registered user since Sun 7 Nov 2021
Name:Sidi Mohamed Beillahi
Country:Canada
Affiliation:University of Toronto
Personal website: https://beillahi.github.io/
Research interests:Verification, Program Synthesis, Distributed Systems, Concurrency, Smart Contracts
Contributions
2024
ESEC/FSE
ICSE
- Author of FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation within the Research Track-track
- Author of Safeguarding DeFi Smart Contracts against Oracle Deviations within the Artifact Evaluation-track
- Author of FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation within the Artifact Evaluation-track
- Author of Safeguarding DeFi Smart Contracts against Oracle Deviations within the Research Track-track
2022
SPLASH
- Author of Behavioral simulation for smart contracts within the COVID Time Papers In Person-track
- Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
- Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
- Author of SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts within the OOPSLA-track