Candidate Profile

Certora is motivated to contribute to the security, resilience, and long-term reliability of the Arbitrum ecosystem.

We believe our combination of deep expertise in smart contract security, formal verification, and protocol design provides a valuable perspective to the Security Council. Our work with leading protocols and infrastructure teams across Web3, together with extensive experience in broader cybersecurity domains, allows us to approach risk with both technical rigor and practical judgment.

We view participation in the Security Council as both a responsibility and a commitment to the ecosystem, and we value the opportunity to support Arbitrum’s security and governance.

Tigran has extensive experience in blockchain security, leading security research and verification efforts for many of the largest protocols in the blockchain ecosystem. As Head of Security Labs, he oversees Certora's security organization, driving smart contract audits, formal verification, security research, and the continued advancement of the company's security methodologies. Before joining Certora, Tigran spent more than 10 years at the Central Bank of Armenia in portfolio management and financial risk management. He holds a PhD in Mathematics, bringing a strong analytical foundation to blockchain security.

Aave, Compound and SKY