2021
Formal Verification of Smart Contracts
EAITSM 13th Annual Conference
Arab Security ConferenceSeptember 11, 2020
Expert workshop on advanced attack paths in decentralized applications and Solidity-based systems.
A technical workshop for experts on security risks in decentralized applications and Solidity smart contracts. The conference’s official recording preserves the session for viewers beyond the event.
My research explores security assumptions, privacy and adversarial behavior in decentralized systems.
2021
EAITSM 13th Annual Conference
2026
DEF CON Group Marrakech
2026
DEF CON Group Casablanca: Continuum