S3v3ru5

• Security Researcher at SpearBit, conducting security reviews of blockchain protocols
• Perform independent audits of smart contracts across multiple blockchain platforms
• Participate in security contests on Sherlock and CodeHawks platforms
• Portfolio of audits and contest results: s3v3ru5.github.io/audits

• Conducted security reviews of smart contracts on Ethereum, Algorand, and Solana
• Reviewed off-chain components including compilers, virtual machines, and blockchain nodes written in Rust
• Contributed to Tealer, a static analyzer for Algorand smart contracts (June 2022 - Nov 2023)
• Contributed to solana-lints, a Rust linting framework for Solana programs (Dec 2023 - June 2024)
• Contributed vulnerability documentation to building-secure-contracts

• Performed security audits of Solana protocols

• Contributed to development of Tealer, a static analyzer for Algorand smart contracts

• Solved cryptography challenges in Capture The Flag competitions with team Invaders (Jan 2019 - Nov 2020) and team zer0pts (Dec 2020 - Oct 2021)
• Studied and applied cryptanalytic techniques including attacks on RSA, elliptic curve cryptography, block ciphers, and hash functions
• Published detailed writeups of cryptography challenges

Bachelor of Technology in Computer Science & Engineering; CGPA: 9.32/10

• Built control-flow graph construction and dataflow analysis infrastructure
• Implemented detectors for identifying security vulnerabilities and code quality issues
• Added support for analyzing Algorand group transactions involving multiple smart contracts
• Developed printers for code visualization and analysis result reporting
• Created comprehensive documentation and GitHub wiki for the tool

• Contributed custom Rust lints using the rustc compiler API for detecting vulnerabilities in Solana programs
• Implemented sysvar_get lint to detect improper system variable access patterns
• Updated existing lints to support modern Solana program structure and Anchor framework
• Reduced false positive rates through improved pattern matching and context analysis

• Documented common vulnerability patterns in Algorand smart contracts in the not-so-smart-contracts repository
• Added improper instruction introspection vulnerability pattern for Solana
• Provided code examples and mitigation strategies for each vulnerability class