| Name | Report | Artifact | Year |
|---|---|---|---|
| Ethereum Weak Subjectivity | 2020 | ||
| Ethereum Gasper (GHOST + Casper) | GitHub | 2020 | |
| PlatON Giskard | GitHub | 2020 | |
| Ethereum CBC Casper | GitHub | 2019-Present | |
| Algorand | GitHub | 2019 | |
| Ethereum Beacon Chain Phase 0 | GitHub | 2019 | |
| Ethereum Casper FFG | GitHub | 2018 | |
| Elrond ESDT | 2022 |
| Name | Report | Artifact | Year |
|---|---|---|---|
| Tinyman AMM v2 | here | 2022 | |
| HydraDX Omnipool | 2022 | ||
| xBacked | 2022 | ||
| Jpg.Store | 2022 | ||
| Pact.fi Router | 2022 | ||
| Blockswap Stakehouse, 2nd audit | 2022 | ||
| Swaap Labs Pools | 2022 | ||
| Quipuswap Stableswap | 2022 | ||
| Hone | 2022 | ||
| EXA Finance | 2022 | ||
| Blockswap Stakehouse | 2022 | ||
| Algofi AMM & Nanoswap | 2022 | ||
| Atlendis | 2022 | ||
| Folks Finance (Audit) | 2022 | ||
| Folks Finance (Design) | 2022 | ||
| Alchemix v2 | 2022 | ||
| Pact.fi | 2022 | ||
| Pact.fi StableSwap | 2022 | ||
| SundaeSwap | 2022 | ||
| Tinyman (Security Review) | 2022 | ||
| Tracer Perpetual Pools V2 | 2021 | ||
| Quipuswap TTDex | GitHub | 2021 | |
| Stakefish Ethereum Staking 2.0 | 2021 | ||
| Algodex (phase 2) | 2021 | ||
| Algodex (phase 1) | 2021 | ||
| Algofi | 2021 | ||
| Yieldly Multi-Token Staking Pool | 2021 | ||
| Element Finance Governance | 2021 | ||
| Algorand Governance Rewards | 2021 | ||
| Tinyman | 2021 | ||
| Tezos Liquidity Baking | GitHub | 2021 | |
| XET Script | 2021 | ||
| Tezos Dexter | GitHub | 2021 | |
| Element Finance | 2021 | ||
| StakerDAO | 2021 | ||
| StakeWise | 2020 | ||
| Stakefish | 2020 | ||
| Ethereum Deposit | GitHub | 2019-2020 | |
| Polkadot Module | GitHub | 2019-2020 | |
| GnosisSafe | GitHub | 2019 | |
| Ethereum Casper (Deprecated) | GitHub | 2018 | |
| Uniswap V1 | GitHub | 2018 | |
| Bihu | GitHub | 2018 | |
| ERC20 Tokens | Github | 2017-2018 |
| Name | Report | Artifact | Year |
|---|---|---|---|
| Elrond WASM | GitHub | 2020-Present | |
| IELE | FM'2019 | GitHub | 2016-Present |
| EVM | CSF'2018 | GitHub | 2016-Present |
| Name | Report | Artifact | Year |
|---|---|---|---|
| Tezos Michelson | GitHub | 2019-Present |
| Name | Report | Artifact | Year |
|---|---|---|---|
| ERC777 | GitHub | 2018 | |
| ERC20 | GitHub | 2017 |