Archive Links about Aptos/Move security

Intro

This is Aptos/Move security link archives for sharing . You can share links through comment if you want to share another sites about the same category.

Official Links

• Guide
  • Aptos Dev
  • Move on aptos
  • Aptos Blockchain Deep Dive
  • Mint NFTs
• Medium
  • Medium
  • Medium - Securing move
• Paper
  • Aptos White paper (KR)
  • Aptos White paper (EN)
• ETC
  • Move VM Safety(docs)
• Bugbounty
  • Bug bounty program - Aptos
  • Bug bounty program - Aptosnames

Unofficial Links

• Sunsec Discord
  • Move Security lesson 1 Security Analysis (Author: Numen)
  • Move Security lesson 2 Verify Smart Contract (Author: MoveBit)
  • The Move Program Language
• BlockSec
  • Security Practices in Move Development (1): Hello World
  • Security Practices in Move Development (2): Aptos Coin
• Numem
  • The Story of a High-Risk Vulnerability in Move Reference Safety Verify Module
  • Analysis of the First Critical Vulnerability of Aptos Move VM
• CTF Movement
  • publicqi/git
  • publicqi/doc
  • cryptowen/ctf movement solution
  • 2022 MOVEment CTF Writeups (KR)

Move Prover

• Official
  • (Paper)The move prover
  • Move Prover User Guide
  • Move Specific Language
• Unofficial
  • ottersec
    • Move: An Auditor’s Introduction
    • The Move Prover: A Practical Guide
  • Movebit: Move Prover Tutorial
  • Starcoin: Move Prover Tutorials
  • CERTIK: The Move Prover: Quality Assurance of Formal Verification