At Veridise, Ajinkya serves as an R&D Engineer and security auditor, and is a member of our in-house tooling development team.
He works at the intersection of programming languages and computer system security, focusing his research on developing scalable and usable program analysis tools for today’s security needs.
Ajinkya earned his PhD in Computer Science from the Indian Institute of Science (IISc).
Experience overview
Experience
Solidity, Sui Move, Vyper
Specialities
Smart Contracts
Previous work
Academic work
- Analysis of newer Aadhaar privacy models
- GARUDA: Heap aware symbolic execution
- A new model for effective use of robustness as a measure of QoS in vehicular ad-hoc networks
- e-ARP: An efficient, adaptive and robust protocol for effective data communication in VANETs
- See Ajinkya’s publication on Google Scholar
Full audit reports
- 3Jane, May 2024, on-chain contracts
- Togg, May 2024, NFT marketplace
- Ankr protocol, Apr 2024, BNB staking pool contract
- Ribbon Finance, Oct 2023, Aevo Exchange
- Prime Protocol, Apr 2023, borrow from collateral deposits