From January 8th to April 30th 2020, a team of six engineers reviewed and formally verified crucial components of the smart contracts for the second version of the Uniswap decentralized trading protocol. (Audit removed by Uniswap)
Halborn provides an exceedingly thorough analysis of a blockchain application’s smart contracts in order to correct design issues, errors in the code, or identify security vulnerabilities. They perform both manual analysis and automated testing to make sure smart contracts application or DeFi platforms are ready for mainnet.
