Research

We have built the first security scanner for smart contracts and the first smart contract verifier for custom specifications. We partner with major infrastructure providers, including the Ethereum and the Web3 foundations, to build state-of-the-art solutions for blockchain platforms.

We have built the first security scanner for smart contracts and the first smart contract verifier for custom specifications. We partner with major infrastructure providers, including the Ethereum and the Web3 foundations, to build state-of-the-art solutions for blockchain platforms.

Academic Papers

Learn more about our research:

Research Partners