Certora
TheRealinvisible
BigGod12
Just because it has not been hacked yet does not mean its unhackable..there is always a flow, you just don`t look long enough
Mojtaba Eshghie
mojtaba-eshghie
PhD Student @ KTH Royal Institute of Technology
KTH Royal Institute of Technology Stockholm
jist
george0st
The architect with an overlap into development and analysis. "Almost everything is possible, it's just a matter of time⌚, resources💰 and quality⭐"
Europe, Prague
Maryem Hadj Wannes
MaryemHadjWannes
Ctrl+C, Ctrl+V virtuoso with a dash of Ctrl+Commit charm. 🚀🤓
Ecole Nationale d'ingénieurs de Sousse Tunisia
Nick Ochiel
nochiel
Why write poetry for humans, when I can instead write code for machines?
npub1f3plgr8hr7xqf22jwzgrvdghahqlp98jklzwrjrmvrzpnfvq25js4xzznz
Fausto Carvalho Marques Silva
faustocarva
Software Engineer
Brazilian Public Prosecutor's Office Brasilia, Brazil
Julius Raynaldi
jraynaldi3
Smart Contract Security Auditor, currently freelancing at various web3 audit platform. Actively competing in Certora Formal Verification Contest.
Indonesia
BubblyOrca
BubblyOrca
"Every living being has its own methods for sensing and understanding the world." | DJ & Data Scientist #WhySoBias
Rektify AI Dubai
Dhruv Malik
dhruvmalik007
buildL / consultant for web3 , generative AI and security auditor
Frontier-tech Europe
Sergio
scab24
Co-Founder at Zealynx Security | Web3 Security Researcher | Blockchain Developer |
=========================
Formal Verification | Fuzz | Rust |
PreviousNext