# Audits

### Runtime Verification

#### September 2021

Blog Post: <https://runtimeverification.com/blog/runtime-verification-audits-tinyman/>

Audit Report: <https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tinyman.pdf>

#### January 2022

Audit Report: <https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tinyman-security-review.pdf>

### Coinspect

#### January 2022

Audit Report: <https://github.com/coinspect/publications/blob/master/Coinspect%20-%20Smart%20Contract%20Update%20Review%20-%20Tinyman%20v220107.pdf>