• • Formal Methods

  • Secure Software Engineering

• • Developing "safe" systems assuring reliability and correctness by performing researches on the theories of formal logic and formal methods based on them.

• • Development of EAL6+ Level Security Microkernel (2018 ~ Presents)

  • High Assurance of Smart Contract for Secure Software Development Life Cycle (2021 ~ Presents)

  • Development of IEC 62443 based Smart Factory Security Internalization and Embedded Device Security Technology (2021 ~ Presents)

 Foundations of Computational Logic

• • Set theories, temporal logic, automata theories, intuitionistic logic, and process algebrae, etc.

 Formal Specification

• • Specifying requirements and/or designs, using various languages/tools (StateMate, Esterel, SCADE, UML etc) based on formal, mathematical logic

 Formal Verification

• • Proving conformance between requirements, designs, and implementations, by model checking and theorem proving, etc.

 Certification Processes

• • Common Criteria, DO-178B, testing and simulations, software life-cycle

Secure Software Engineering

• • Secure Coding, Secure Software Development Lifecycles, etc.