The companies that made the list were Korea Mining Development Trading Corporation (KOMID), Korea Ryonbong General Corporation and Tanchon Commercial Bank.
The Treasury statement alleged that Hong Kong Electronics has transferred millions of dollars of proliferation-related funds on behalf of Tanchon and KOMID since 2007.