2026
Following the State
DEF CON Group Marrakech
DEF CON Group Casablanca: ContinuumApril 25, 2026
Following the Bytecode of Smart Contracts
A technical session on EVM bytecode and smart contract security, presented at the second DEF CON Group Casablanca meetup.
Related research
My research explores security assumptions, privacy and adversarial behavior in decentralized systems.
Related talks
2021
Formal Verification of Smart Contracts
EAITSM 13th Annual Conference
2021
Formal Verification of Smart Contracts
Arab Security Conference 2021