According to ZDNET Korea, the Korea Financial Security Institute announced that it will promote three initiatives related to smart contracts, including developing smart contract verification tools, cultivating digital asset professionals, and establishing a smart contract verification system.

The Financial Security Institute plans to develop dedicated security verification tools to automatically detect major vulnerabilities in smart contracts used for digital asset services such as security tokens and stablecoins, focusing on common risks like reentrancy attacks, access permission errors, and missing collateral verification.
They will also establish a security verification system that includes checklists and publish the "Smart Contract Security Guidelines."
The Financial Security Institute will also hold seminars and consultation mechanisms for digital asset and security leaders in financial companies to strengthen the sharing of professional knowledge on smart contract security.