Sidi Mohamed Beillahi

Identifiers

No identifiers captured yet.

Papers (2)

1. Enforcing Control Flow Integrity on DeFi Smart Contracts cs.CR · 2025 · author #2
2. Checking Robustness Against Snapshot Isolation cs.LO · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ahmed Bouajjani 1 shared papers
• Andreas Veneris 1 shared papers
• Constantin Enea 1 shared papers
• Cyrus Minwalla 1 shared papers
• Fan Long 1 shared papers
• Han Du 1 shared papers
• Pasha Barahimi 1 shared papers
• Zhiyang Chen 1 shared papers