Inference recently published the first version of the security assessment checklist for smart contracts on Tezos.
