Concepedia

Sidi Mohamed Beillahi

SM

6

Publications

101

Citations

6

H-Index

2019

Active since

Affiliations

University of Toronto(Current)

Université Paris Cité

Centre National de la Recherche Scientifique

Sidi Mohamed Beillahi is an author at University of Toronto specializing in smart contracts, hardware security, and systems engineering.

ORCID

Top concepts

Publications per year

2019–2024

6

Publications

6

Smart Contracts Refinement for Gas Optimization

Keerthi Nelaturu, Sidi Mohamed Beillahi, Fan Long et al. · 2021 · 30 citations

, , +15

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation

Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long · 2024 · 19 citations

Demystifying Invariant Effectiveness for Securing Smart Contracts

Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi et al. · Proceedings of the ACM on software engineering. · 2024 · 15 citations · Full text

Behavioral simulation for smart contracts

Sidi Mohamed Beillahi, Gabriela Ciocarlie, Michael Emmi et al. · 2020 · 14 citations · Full text

, , +22

Robustness Against Transactional Causal Consistency.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 12 citations · Full text

Rows per page

1–5 of 6