Scholar
Sidi Mohamed Beillahi
Google Scholar ID: qd4lM94AAAAJ
University of Toronto
Formal Verification
Programming Languages
Software Engineering
Distributed Systems
Blockchain
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
309
H-index
10
i10-index
11
Publications
20
Co-authors
12
list available
Publications
1 items
Secure Smart Contract with Control Flow Integrity
2025
Cited
0
Co-authors
7 total
Fan Long
University of Toronto
Sofiene Tahar
Concordia University
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Umair Siddique
Apple
Chenxing Li
Tsinghua University
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Constantin Enea
universitatea constantin brancusi
