Here, you can find the smart contract audit reports carried out by Nethermind Security, the security arm of Nethermind. The team uses manual inspection and automated analysis tools when performing security audits on Solidity and Cairo smart contracts.