Souhail Mssassi Blockchain security researcher

Blockchain security researcherCadi Ayyad University, Marrakech

Souhail Mssassi

I work on blockchain security, smart contracts and formal verification. My focus is understanding how decentralized systems behave, where their assumptions break, and how to make them more secure.

I share this work through research, technical talks, workshops and mentoring.

Publications Talks Contact
Portrait of Souhail Mssassi
8Indexed publications
27Talks and workshops listed
10+Years in cybersecurity

Featured Outputs

Journal articleDecember 24, 2024

The Blockchain Trilemma: A Formal Proof of the Inherent Trade-Offs Among Decentralization, Security, and Scalability

Applied Sciences

This is the clearest statement of the site research mission: replace vague system claims with formal security reasoning.

View publication

Journal articleFebruary 28, 2025

An Application-Layer Framework for Privacy Blockchain Transactions and Smart Contract

International Journal of Computer Networks and Applications

Turns a general privacy claim into a specific framework for transaction and contract-layer confidentiality.

View publication

Book chapterFebruary 17, 2026

Building Trust in the Web of Things: Decentralized Identity Management with Blockchain

Signals and Communication Technology

Moves the research agenda from protocol security toward identity and trust infrastructure for heterogeneous connected systems.

View publication

Selected Talks and Teaching

International conferences and recordings

Talks and Workshops

SpeakerNovember 7, 2026

Following the State

Event: DEF CON Group Marrakech

Host: DEF CON Group Marrakech

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

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

  • Smart contract security
  • Formal verification
  • State transitions
Talk details Event page Slides

SpeakerOctober 4–7, 2023 · conference dates

c0c0n 2023

Event: c0c0n 16th edition

Host: c0c0n

Format: Conference speaker, Kochi, India (conference location)

Speaker at c0c0n 2023, the cybersecurity conference held at the Grand Hyatt in Kochi, India. The organizer’s speaker programme lists my work in application security, cryptography and decentralized applications.

  • Cybersecurity
  • Blockchain security
Speaker programme

SpeakerDecember 6, 2021

Formal Verification of Smart Contracts

Event: EAITSM 13th Annual Conference

Host: EAITSM

Format: Conference talk, Online

A talk on using mathematical models and formal verification to reason about smart contract correctness, presented at EAITSM’s online Annual Conference.

  • Formal verification
  • Smart contract security
  • Solidity
Talk details Conference programme Video

Workshop speakerSeptember 5, 2021

Formal Verification of Smart Contracts

Event: Arab Security Conference 2021

Host: Arab Security Conference

Format: Technical workshop, Hybrid conference

A technical workshop on formal verification of smart contracts at Arab Security Conference 2021, with the organizer’s recording available to watch.

  • Formal verification
  • Smart contract security
Talk details Workshop programme Video

Teaching and Mentoring

Instructor2021

Formation Blockchain : Decouvrir les Fondamentaux

Host: Alphorm

Audience: French-speaking professional learners

Format: Course, Introductory to intermediate

Public training course introducing blockchain concepts, core architecture, and security-relevant foundations.

  • Blockchain fundamentals
  • Distributed systems
  • Security basics

Instructor2021

Smart Contract Security #1

Host: EatTheBlocks Pro

Audience: Blockchain developers and security-minded builders

Format: Live training, Intermediate

Professional training session focused on practical security issues in smart contract development.

  • Smart contract security
  • Solidity
  • Attack surfaces
Public materials

Blockchain mentorOngoing

Senior Security Researcher | Blockchain Instructor | Blockchain Mentor | Speaker

Host: MentorCruise

Audience: Developers, students, and early-career security practitioners

Format: Mentorship, Mixed levels

Ongoing mentoring profile for learners and practitioners moving into blockchain security or applied cybersecurity.

  • Blockchain security
  • Career guidance
  • Smart contracts
  • Research direction
Public materials

Collaboration

Research Collaboration

Joint work on blockchain security, privacy, incentive design, adversarial models, and decentralized identity.

Invited Talks

Conference talks, guest lectures, panels, and workshops for universities, developer communities, and security events.

Teaching and Workshops

Short courses, applied training, and technical sessions for engineering students and professional audiences.

Mentoring and Supervision

Mentoring for students, early-career researchers, and engineers moving into security or smart contract work.