0x00ffDa

About

I am a security reviewer / researcher with a particular interest in formal verification. I have not been very active on Cod4rena. See Sherlock.xyz leaderboard and Solidit.xyz search for more audit history.