I'm a Senior Research Engineer at Safe, working on smart-account contracts, transaction guards, and the Certora specs and security audits that check them. I'm based in Bengaluru, India, and I'm a learner for life.
- Safenet: I wrote the staking contract that Safenet Beta runs on Ethereum mainnet and the Safenet Guard, with Certora specs for both.
- Guards: Guardrail, Fiducia and the Policy Engine, transaction guards for Safe accounts.
- Core and modules: the Safe core contracts (safe-smart-account), the ERC-4337 and passkey modules (safe-modules) and SAFE token locking (safe-locking).
- Audits: I coordinate the third-party audits of these contracts with Certora, Ackee, Nethermind and ack3. The reports are listed at remedcu.com/audits.
- Before: 15+ audits at Nethermind across Solidity and Cairo, launchpad contracts at Origins, production DeFi contracts at Sovryn, and development and audits at Kleros. Published audit reports: Blockchain-Audits.
- Talks and podcasts: Guarding the Safe: From Guardrail to Policy Engine at DeFi Security Summit 2025 and Operational Security for Onchain Treasuries on The Accountant Quits, episode 100.
- Ask me about: Solidity, Cairo, Certora CVL, account abstraction (ERC-4337) and smart-contract security.
- Website: remedcu.com, with selected work, audits and talks.
Contact: admin@remedcu.com · LinkedIn · X