October 20, 2025 - Fidesium

Chadi Sebbar

Chadi Sebbar is a Web3 security engineer at Fidesium, where he identifies, analyses and mitigates smart contract vulnerabilities across both research and client-facing work. He works on automated vulnerability detection, tuning the scanners for speed, accuracy and clarity, and wrote Fidesium's white paper on reducing false positives in access control detection. His route into the work ran from Casablanca to Paris to Rio de Janeiro, and he works in Arabic, French, English, Portuguese, Spanish and Italian.

All Posts

Formal Analysis in Web3: What Founders Need to Know (Without the Math)

October 20, 2025 No Comments

If you’re a Web3 founder, you’ve probably heard terms like testing, fuzzing, audits — and now formal analysis. At first glance, they can sound like

Fidesium is a security platform dedicated to making automated smart contract audits continuous, accessible, and affordable for Web3 teams worldwide.

Services

Audits

Blog

Pricing

Company

Terms and Conditions – Privacy Policy

Chadi Sebbar

Formal Analysis in Web3: What Founders Need to Know (Without the Math)

Tell us your security needs