(www.KIMLAB.net or www.SECENG.net)

Our ultimate research objective is Security Engineering for High-Assurance Trustworthy(or Dependable) Cyber-Physical Systems. Especially, we focus on (1) Threat-Risk Modeling, (2) Provably Secure Design, (3) Automated Verification of Security Implementations, (4) Penetration Testing, (5) Secure Over-The-Air Software Updates, and (6) Security Evaluation & Certification (including CMVP, CC, C&A, SSE-CMM).

IoT 시대에 있어 보안 패러다임은 '안전한(secure) 시스템 개발'에서 '고신뢰(high-assurance & trustworthy) 시스템 개발'로 바뀌고 있습니다. 여기서 고신뢰 시스템이라 함은 그것이 해킹에 의한 것이던, 사람의 실수에 의한 것이던, 아니면 자연재해에 의한 것이던 간에 사고 없이 안전하게 동작하는 시스템을 의미하는 것으로, 미국 국방부에서 개발하고 있는 '드론 및 무인자동차용 HACMS(High-Assurance Cyber Military Systems)'가 그 대표적인 예입니다. 저희 보안성분석평가연구실(SANE lab)에서는 (1) Security Engineering(보안공학) for High-Assurance Trustworthy Cyber-Physical Systems, (2) Threat-Risk Modeling, (3) Provably Secure Design, (4) Automated Verification of Security Implementations, (5) Penetration Testing(모의해킹), (6) Secure Over-The-Air Software Updates 및 (7) Security Evaluation & Certification (including CMVP, CC, C&A, SSE-CMM) 등을 주로 연구하고 있습니다. 2011년에 처음 설립된 저희 연구실에서는 2013년에 스마트TV의 해킹 가능성을 최초로 블랙햇(Black Hat)에서 시연해 보인바 있으며, 2015년에는 LG전자와 함께 세계 최초로 스마트TV에 대한 보안성 인증을 획득하기도 했습니다. 또한 현재는 국내 기업들과 함께 스마트 카 등 각종 IoT 기기에 대한 취약점 분석 및 신뢰성 평가, 네트워크 기능이 있는 군 무기체계에 대한 신뢰성 시험평가 기술 개발 등의 과제들을 수행하고 있으며, 매년 사단법인 HARU와 함께 SECUINSIDE라는 국제 해킹대회를 개최해 오고 있습니다.


If you want to know more, click here : http://amhoin.blog.me/220835128004



since March 2011