(Security Assessment aNd Engineering LABoratory │ www.KimLab.net)



We solicit research on a broad range of topics relating to secure systems development. In more detail, our research interests lie primarily in Security/Privacy by Design (a.k.a. security engineering)​ processes,​ ​from​ ​requirements​ ​to​ ​maintenance : Ensuring that security requirements are adequately addressed through all phases of the software development life-cycle including planning, defining, designing, building, testing, deploying as well as disposal., Threat analysis and attack scenarios, Risk management and risk oriented security testing, Secure design and architecture, Secure coding : Tools​ ​and​ ​methodology​ ​for​ ​secure​ ​code​ ​development, Security assessment (Common Criteria, CMVP, SSE-CMM, RMF A&A. etc.) : Evaluating the implementation and effectiveness of security controls, reporting on the achievement of control objectives, and recommending corrective action to address deficiencies identified in performance measurement and evaluations., Software ecosystem and software supply chain security, DevSecOps, Security automation and tooling, Formal​ ​verification​ ​and​ ​other​ ​high-assurance​ ​methods​ ​for​ ​security, Human-centered​ design​ ​for​ systems​ security, Blockchain & Crypto Engineering.

Lab (KIM Lab) : www.KimLab.net or KimLab.korea.ac.kr | Lab (Army RMF Research Center) : www.HackProof.systems | Lab TV : www.YouTube.com | Blog : www.Crypto.kr | GitHub : HackProof


What we've done

Our lab's R&Ds mainly focus on "Security Assessment", "Secure Software Engineering", and "Blockchain". Till now we have gotten some notable achievements such as :

Year's highlights


Now, we're recruiting creative graduate students who possess a passion for learning, thinking, etc. If you are willing to work with us see the following : Introduction to SANE Lab., Introduction to Security Engineering, Must read items for new students at SANE Lab. 

(Since 2011)