Projects

Our research has been supported by

  • KOSEF(Korea Science and Engineering Foundation)
  • KMEST(Korea Ministry of Education, Science and Technology)
  • MKE(Ministry of Knowledge Economy)
  • DAPA(Defense Acquisition Program Administration)
  • the NSRI(National Security Research Institute)
  • etc

고급언어 소스기반 역공학 방지 기법 연구(2010.3 ~ 2010.10)

바이너리 파일에서 소스 코드로의 역공학을 방지할 수 있는 소스 코드 기반의 역공학 방지 알고리즘을 개발하고 이를 활용하여 IDE 플러그인 모듈을 개발

Hardware/Software Codesign (2003.8 ~ 2011.12)

하드웨어, 소프트웨어 동시설계를 위한 도구를 개발하는 것을 목표로 한다. 이를 위해 전체 임베디드 시스템을 하나의 표현으로 나타낼 수 있는 방법과 이를 검증할 수 있는 방법에 대해서 연구한다. 또한 하나의 시스템 사양 명세로부터 자동으로 하드웨어와 소프트웨어를 분할해주어 전체적인 시스템 성능, 크기, 전력소모를 최적화하는 기법과 주어진 프로그램이 상위레벨 프로그래밍 언어로 기술되어 있을 때 함수별 수행시간, 접근 데이터의 크기등을 고려한 자동분할 기법을 연구한다.

소프트웨어 DNA를 이용한 시스템 보안기술 연구 (2008.05 ~ 2011.02)

소프트웨어 DNA 분석은 도용된 프로그램을 찾는 연구. (소프트웨어 도용 탐지) 사람의 경우의 DNA처럼, 각 프로그램마다 내제된 고유한 특성인 소프트웨어 DNA를 정의하고, 두 프로그램의 DNA를 추출하여 비교한다. DNA가 같다면 이는 같은 프로그램으로 볼 수 있음. 즉 프로그램의 고유한 성질인 DNA를 정의하여 프로그램들의 유사도를 측정하는 연구.

소프트웨어 무결점 연구 (2008.9 ~ 2014.12)

오류 없는 소프트웨어라는 최종 목표를 지향하여, 소프트웨어 정적 분석의 기술을 심화하고 혁신 신기술을 연구한다. 소프트웨어 소스 오류 자동 검출 및 검증 도구들(bug-finder, verifier)를 개발하며 이 도구들을 국내 산업과 밀접히 연계되도록 순수 소프트웨어 개발 뿐 아니라 지능형 로봇, 무인 비행체, 금융 공학 소프트웨어에 특화시켜 산업화한다. 현재 KAIST, 서울대, 포항공대, 한양대, 경북대의 15명 교수님 포함, 128명의 연구진이 공동 연구를 진행하고 있다.

종료된 프로젝트

  • 프로그램 요약을 이용한 임베디드 소프트웨어의 성능 예측과 검증 (2008.11 ~ 2009.10)
  • Scalable and Precise Buffer Overrun Analyzer (2006.3~2007.2)
  • Jlet 지원을 위한 런타임 라이브러리 최적화 (2005.7~2005.11)
  • Partial 컴파일러를 이용한 소스코드 취약점 패턴 점검 기술 연구 (2005.4~2005.11)
  • 차세대 WIPI를 위한 응용서비스 수행 환경 및 개발 환경 (2004.5~2005.4)
  • 휴대 단말기용 응용 프로그램 실행환경 개발 (2004.6~2004.11)
  • 저전력 임베디드 프로세서를 위한 컴파일러 개발 (2003.10~2004.3)
  • 무선인터넷 응용서비스의 효율적인 수행을 위한 시스템 지원 환경 (2003.5~2003.11)
  • Representation Scheme for Shared Virtual Environment (1996.3~1996.12)
  • Multi/Hyper-media Document Description Language (1996.1~1996.12)
  • Networked Game Service on High-speed Network (1995.5~1997.4)
  • Compilation Technology for Parallel Programming (1994.6~1997.8)
  • Clock-Level Instruction Simulator and Compiler for DSP (1995.12~1999.8)
  • Parallelizing Translator (1994.6~1997.4)
  • Multimedia Environment (1996.1~1996.12)

Paper Ack

  • ERC: 소프트웨어무결점연구센터
    • 국문표기시:
      본 연구는 교육과학기술부/한국과학재단 우수연구센터 육성사업의 지원으로 수행되었음. (R11-2008-007-02004-0)
    • 영문표기시:
      This work was supported by the Engineering Research Center of Excellence Program of Korea Ministry of Education, Science and Technology(MEST) / Korea Science and Engineering Foundation(KOSEF), grant number R11-2008-007-02004-0
  • 과제명 : 소프트웨어 DNA를 이용한 시스템 보안 기술 연구
    • 지원 기관 : 한국과학재단
      사업명 : 특정기초연구지원사업 (핵심기초)
      연구시작 년월일 : 2008년 5월 1일
      연구종료 년월일 : 2011년 2월 28일
    • 연구비
      1차년도 (2008년 5월 – 2009년 2월) : 8,000만원
      2차년도 (2009년 3월 – 2010년 2월) : 1억원
      3차년도 (2010년 3월 – 2011년 2월) : 1억원
    • 국문표기시:
      이 논문은 2010년도 정부(교육과학기술부)의 재원으로 한국과학재단의 지원을 받아 수행된 연구임(No. 2010-0000258)
    • 영문표기시:
      This work was supported by the Korea Science and Engineering Foundation(KOSEF) grant funded by the Korea government(MEST) (No. 2010-0000258)
  • ITRC
    • 국문표기시:
      “본 연구는 지식경제부 및 정보통신산업진흥원의 대학 IT연구센터 지원사업의 연구결과로 수행되었음” (NIPA-2010-C1090-1031-0004)
    • 영문표기시:
      “This research was supported by the MKE(The Ministry of Knowledge Economy), Korea, under the ITRC(Information Technology Research Center) support program supervised by the NIPA(National IT Industry Promotion Agency)” (NIPA-2010-C1090-1031-0004)