네트워크

정보통신

소프트웨어 연구실

IoT and Software Security
  • IoT Software
  • Android system
  • Software security
  • Program Analysis and Verification

  • Static program analysis
  • Dynamic program analysis
  • Formal verification of software
  • Automated Software Engineering

  • Program visualization
  • Automatic software testing
  • Secure Coding

  • 국가

    대한민국

    소속기관

    숙명여자대학교 (학교)

    연락처

    책임자

    창병모 chang@sookmyung.ac.kr

    소속회원 1