What are Technical Hurdles of Verification for North Korea's Nuclear Program?

The denuclearization of North Korea was unpredictable and resulted in radical changes. Despite the skepticism and disappointment surrounding denuclearization, it is important for certain verification technologies to establish what is technically possible or practically impossible, and how reliable these technical means are. This article presents the technical hurdles in nuclear verification by systematically categorizing them into issues of correctness and completeness. Moreover, it addresses the safety and security risks during the denuclearization process, including the radiological impact on humans, environmental effects, and the illegal transfer of material, information, and technologies.