DEF CON Group MarrakechNovember 7, 2026

Following the State

A talk on smart contract state, security properties and formal verification, built around a practical question: what can an attacker make true?

Speaker: Souhail Mssassi

Format: Technical talk · Code 212, Cadi Ayyad University, Marrakech, Morocco

• Smart contract security
• Formal verification
• State transitions