Unclaimed brand
Shebin John, Senior Research Engineer at Safe: Safenet, transaction guards, smart-account contracts, Certora formal verification and audit coordination.
Liking this brand profile? Share this page
Hex Code
Color name
RGB
HSL
CMYK
#65351C
Espresso
101, 53, 28
21, 57, 25
0, 48, 72, 60
#E8E8E6
Desert Storm
232, 232, 230
60, 4, 91
0, 0, 1, 9
#5FD3B1
Downy
95, 211, 177
162, 57, 60
55, 0, 16, 17
Shebin John is a smart-contract security engineer and researcher based in Bengaluru, India, and a Senior Research Engineer at Safe. His work focuses on smart-account infrastructure, transaction security, formal verification and contract audits. At Safe, he has developed transaction guards including Guardrail, Fiducia and the Policy Engine, and contributed to the Safe core contracts, ERC-4337 and passkey modules, and the SAFE token locking contract.
For Safenet, John wrote the Ethereum mainnet staking contract and the Safenet Guard, which checks onchain attestations to Safe transactions. He uses Certora formal verification to specify and verify contract behavior, and coordinates third-party security audits. His selected work also includes reducing the Safe singleton’s deployed bytecode and resolving audit findings in the v1.5.0 release.
Before joining Safe, John worked as a smart-contract auditor at Nethermind, completing more than 15 Solidity and Cairo audits. He also developed production DeFi contracts at Sovryn and wrote and audited contracts at Kleros.
Brand industry
Computers Electronics and Technology
Company type
Suggest company type
Year founded
Suggest founded year
Company size
Suggest company size
The Shebin John name, logos and brand assets are trademarks of Shebin John and its affiliates. Brandfetch isn't affiliated with or endorsed by Shebin John. Their use is subject to Shebin John's brand guidelines.
