BAHOZ's photo

BAHOZ

security researcher

Member Since Oct, 2023

Writes at

BAHOZ

BAHOZ

About Me

security researcher

My Tech Stack

I am available for

audits, formal verification, invariant tests, fuzz tests

Recent Activity

Nov 26 2023

Wrote an article

Formal Verification Foundations-1: Logic

Nov 2 2023

Wrote an article

Introduction to Formal Verification with Certora for Smart Contract Security