모바일 메뉴

연구실

소프트웨어 보안

  • Programming Systems (Prosys) Lab

    담당교수 허기홍 교수
    분야 프로그램 분석, 소프트웨어 보안, 프로그래밍 언어
    소개 프로그래밍 시스템 연구실은 안전하고 신뢰할 수 있는 소프트웨어를 위한 차세대 프로그래밍 시스템 개발을 목표로 합니다. 소프트웨어 버그 탐지를 위한 AI 기반 프로그램 분석 시스템, 안전하고 효율적인 소프트웨어를 위한 프로그램 변환 시스템, 자동 소프트웨어 생성 및 유지보수를 위한 프로그램 합성 시스템 등 쉽고 안전한 프로그래밍 환경을 실현해 가고 있습니다.
    사이트 https://prosys.kaist.ac.kr/

    프로그래밍 시스템 연구실은 안전하고 신뢰할 수 있는 소프트웨어를 위한 차세대 프로그래밍 시스템 개발을 목표로 합니다. 소프트웨어 버그 탐지를 위한 AI 기반 프로그램 분석 시스템, 안전하고 효율적인 소프트웨어를 위한 프로그램 변환 시스템, 자동 소프트웨어 생성 및 유지보수를 위한 프로그램 합성 시스템 등 쉽고 안전한 프로그래밍 환경을 실현해 가고 있습니다.

  • Web Security & Privacy Lab

    담당교수 손수엘 교수
    분야 Secure Computing
    소개 WSP 연구실은 웹을 보다 안전한 환경으로 만들기 위한 새로운 아이디어의 구현이라는 비젼을 가지고 웹 서비스들의 취약점 탐지와 웹을 통한 개인정보 침해 측정을 목표로 연구를 진행하고 있습니다. 연구주제는 웹 애플리케이션의 동적 및 정적 분석을 통한 취약점 탐지, 웹 브라우져 보안기능 분석, 웹 취약점을 이용하는 악성 공격코드에 대한 분석들을 포함하고 있습니다. 또한 웹 및 모바일 서비스와의 통신을 통한 개인정보 유출에 대한 심각도 측정에 대한 연구 역시 진행중에 있습니다.
    사이트 https://wsp-lab.github.io/

    WSP 연구실은 웹을 보다 안전한 환경으로 만들기 위한 새로운 아이디어의 구현이라는 비젼을 가지고 웹 서비스들의 취약점 탐지와 웹을 통한 개인정보 침해 측정을 목표로 연구를 진행하고 있습니다. 연구주제는 웹 애플리케이션의 동적 및 정적 분석을 통한 취약점 탐지, 웹 브라우져 보안기능 분석, 웹 취약점을 이용하는 악성 공격코드에 대한 분석들을 포함하고 있습니다. 또한 웹 및 모바일 서비스와의 통신을 통한 개인정보 유출에 대한 심각도 측정에 대한 연구 역시 진행중에 있습니다.

  • Software Security (SoftSec) Lab

    담당교수 차상길 교수
    분야 Software security / Program analysis / Software reliability
    소개 소프트웨어보안 연구실에서는 소프트웨어를 안전하게 만들 수 있는 방법을 연구합니다. 소프트웨어에 존재하는 버그(취약점)를 자동으로 탐지하기, 버그의 근본 원인을 파악하여 디버깅하기, 소프트웨어 자체의 설계 및 구현을 안전하기 등 다양한 소프트웨어에 관련된 주제에 대해서 함께 연구합니다.
    사이트 http://softsec.kaist.ac.kr

    소프트웨어보안 연구실에서는 소프트웨어를 안전하게 만들 수 있는 방법을 연구합니다. 소프트웨어에 존재하는 버그(취약점)를 자동으로 탐지하기, 버그의 근본 원인을 파악하여 디버깅하기, 소프트웨어 자체의 설계 및 구현을 안전하기 등 다양한 소프트웨어에 관련된 주제에 대해서 함께 연구합니다.

시스템 보안

  • Cyber system Security (CySec) Lab

    담당교수 강병훈 교수
    분야 System security / Malware analysis and defense / Anti-spam
    소개 CySec Lab은 공격으로부터 안전한 시스템 만들기 위해 악성코드 행위 분석, 시스템 보안, 모바일 보안 분야를 연구하고 있습니다. 악성코드 행위 분석은 악성코드에 감염되었을 때 발생하는 다양한 현상(예, DNS)들을 분석하여 사전탐지 할 수 있는 방안에 대한 연구들을 진행하고 있으며, 시스템 보안 분야는 컴퓨터 운영체제에 대한 이해를 바탕으로 하드웨어/가상화시스템을 이용하여 운영체제의 신뢰성을 보장하기 위한 연구를 진행하고 있습니다. 모바일 분야는 안드로이드 시스템에서 다양한 보안 정책을 적용할 수 있는 실용적인 플랫폼에 대한 연구를 진행하고 있습니다.
    사이트 http://cysec.kaist.ac.kr

    CySec Lab은 공격으로부터 안전한 시스템 만들기 위해 악성코드 행위 분석, 시스템 보안, 모바일 보안 분야를 연구하고 있습니다. 악성코드 행위 분석은 악성코드에 감염되었을 때 발생하는 다양한 현상(예, DNS)들을 분석하여 사전탐지 할 수 있는 방안에 대한 연구들을 진행하고 있으며, 시스템 보안 분야는 컴퓨터 운영체제에 대한 이해를 바탕으로 하드웨어/가상화시스템을 이용하여 운영체제의 신뢰성을 보장하기 위한 연구를 진행하고 있습니다. 모바일 분야는 안드로이드 시스템에서 다양한 보안 정책을 적용할 수 있는 실용적인 플랫폼에 대한 연구를 진행하고 있습니다.

  • System Security (SysSec) Lab

    담당교수 김용대 교수
    분야 CPS security / Control plain security / Penetration testing of Korean cyber infrastructure
    소개 SysSec Lab은 현재 그리고 다가올 시스템들의 보안에 관심이 있습니다. 우리의 연구는 새로운 공격의 설계 / 구현과 그러한 공격에 대한 대책을 개발하는 것입니다. 현재 우리는 1) 드론, 자동차, 의료 기기, 스마트 그리드와 같은 사이버 물리 시스템 (CPS)의 보안 문제, 2) 셀룰러 네트워크의 콘트롤 플레인 보안 및 개인 정보 보호, 3) 임베디드 장치와 사이버 물리 인프라에 대한 소프트웨어 분석 / 침투 테스트 그리고 4) 블록 체인 및 암호 화폐의 보안 및 경제성에 대해 집중적으로 연구하고 있습니다.
    사이트 http://syssec.kaist.ac.kr

    SysSec Lab은 현재 그리고 다가올 시스템들의 보안에 관심이 있습니다. 우리의 연구는 새로운 공격의 설계 / 구현과 그러한 공격에 대한 대책을 개발하는 것입니다. 현재 우리는 1) 드론, 자동차, 의료 기기, 스마트 그리드와 같은 사이버 물리 시스템 (CPS)의 보안 문제, 2) 셀룰러 네트워크의 콘트롤 플레인 보안 및 개인 정보 보호, 3) 임베디드 장치와 사이버 물리 인프라에 대한 소프트웨어 분석 / 침투 테스트 그리고 4) 블록 체인 및 암호 화폐의 보안 및 경제성에 대해 집중적으로 연구하고 있습니다.

네트워크 보안

  • Network Security and Privacy Lab

    담당교수 강민석 교수
    분야 네트워크 보안 및 개인정보보호, 블록체인, 5G 보안, IoT 보안
    소개 NetSP-Lab에서는 기존의 인터넷 보안 연구 및 최근에 주목받는 네트워크 (블록체인, IoT망, 5G 시스템) 등의 보안/프라이버시 개선에 대한 다양한 연구를 해오고 있으며, 특히 분산서비스공격 (DDoS), 블록체인 공격, 5G 프라이버시 공격 및 방어기술에 대한 연구는 국제적으로 인정받고 있다. NetSP-Lab의 세부적인 연구분야는 (1) 전통적인 인터넷 보안 (DDoS, secure routing, software defined networking security), (2) 블록체인 보안 (비트코인 공격, 거래 내역 프라이버시), (3) 4G/5G 네트워크 보안 (5G 단말 위치 추적 공격, 무선 자원 공격) (4) 무선네트워크 보안 (IoT 관제 기술, Wi-Fi 보안기술)이다. 세계 최고 보안 학회에 꾸준히 논문을 발표하며 박사과정들에게는 세계 유수 IT기업 펠로우십 및 명문 대학과의 국제협력 연구 기회를 제공하고 있다.
    사이트 https://netsp.kaist.ac.kr/

    NetSP-Lab에서는 기존의 인터넷 보안 연구 및 최근에 주목받는 네트워크 (블록체인, IoT망, 5G 시스템) 등의 보안/프라이버시 개선에 대한 다양한 연구를 해오고 있으며, 특히 분산서비스공격 (DDoS), 블록체인 공격, 5G 프라이버시 공격 및 방어기술에 대한 연구는 국제적으로 인정받고 있다. NetSP-Lab의 세부적인 연구분야는 (1) 전통적인 인터넷 보안 (DDoS, secure routing, software defined networking security), (2) 블록체인 보안 (비트코인 공격, 거래 내역 프라이버시), (3) 4G/5G 네트워크 보안 (5G 단말 위치 추적 공격, 무선 자원 공격) (4) 무선네트워크 보안 (IoT 관제 기술, Wi-Fi 보안기술)이다. 세계 최고 보안 학회에 꾸준히 논문을 발표하며 박사과정들에게는 세계 유수 IT기업 펠로우십 및 명문 대학과의 국제협력 연구 기회를 제공하고 있다.

  • Network and System security (NSS) Lab

    담당교수 신승원 교수
    분야 Software Defined Networking security / Botnet analysis and detection
    소개 NSS Lab은 네트워크와 시스템 보안에 대해 중점적으로 연구합니다. 특히 차세대 네트워크 기술인 SDN(Software Defined Network) 보안, SDN을 활용한 임베디드 및 IOT, 그리고 웹, 모바일 등 다양한 주제에 대해서도 함께 연구합니다.
    사이트 http://nss.kaist.ac.kr

    NSS Lab은 네트워크와 시스템 보안에 대해 중점적으로 연구합니다. 특히 차세대 네트워크 기술인 SDN(Software Defined Network) 보안, SDN을 활용한 임베디드 및 IOT, 그리고 웹, 모바일 등 다양한 주제에 대해서도 함께 연구합니다.

  • Wireless and Intelligent Navigation System (WINS) Lab

    담당교수 김명철 교수
    분야 Wireless mobile network / Mobile application / Multimedia service technologies
    소개 WINS Lab은 무선 네트워크 환경에서 일어날 수 있는 다양한 문제를 연구합니다. 첫째로 무선환경에서 발생할 수 있는 보안 문제에 대해서 연구합니다. 무선 네트워크를 마비시키는 최신 공격기술이나 이에 대한 대응 기술에 대해서 연구하고 있습니다. 두번째로 무선 네트워크 환경의 원할한 서비스에 대해서 연구합니다. Hand-off, Hidden terminal 문제와 같은 무선환경의 성능을 저하시키는 문제에 대해 연구하고, 비디오 전송 품질 향상기술과 같은 최신 무선 기술에 대해서 연구하고 있습니다.
    사이트 http://winslab.kaist.ac.kr

    WINS Lab은 무선 네트워크 환경에서 일어날 수 있는 다양한 문제를 연구합니다. 첫째로 무선환경에서 발생할 수 있는 보안 문제에 대해서 연구합니다. 무선 네트워크를 마비시키는 최신 공격기술이나 이에 대한 대응 기술에 대해서 연구하고 있습니다. 두번째로 무선 네트워크 환경의 원할한 서비스에 대해서 연구합니다. Hand-off, Hidden terminal 문제와 같은 무선환경의 성능을 저하시키는 문제에 대해 연구하고, 비디오 전송 품질 향상기술과 같은 최신 무선 기술에 대해서 연구하고 있습니다.

  • Intelligent Network Architecture (INA) Lab

    담당교수 한동수 교수
    분야 Internet content delivery / Cloud and big data / Internet security / eXpressive Internet Architecture
    소개 Intelligent Network Architecture Lab에서는 Android binary를 분석하여 APP이 외부로 유출하는 Data Protocol을 분석해서 APP을 Classification 하는 연구를 진행 중 입니다. 이 연구의 궁극적인 목표는 여러가지 App의 network protocol signature를 이용하여 악성앱을 구분해내고 그것을 IDS에 적용시키는 것입니다. 두번째 진행중인 연구는 Many-core processor에서 동작하는 Open source IDS Suricata를 최적화하여, 더 빠른 성능을 낼 수 있게 하는 프로젝트를 진행하고 있습니다.
    사이트 http://ina.kaist.ac.kr

    Intelligent Network Architecture Lab에서는 Android binary를 분석하여 APP이 외부로 유출하는 Data Protocol을 분석해서 APP을 Classification 하는 연구를 진행 중 입니다. 이 연구의 궁극적인 목표는 여러가지 App의 network protocol signature를 이용하여 악성앱을 구분해내고 그것을 IDS에 적용시키는 것입니다. 두번째 진행중인 연구는 Many-core processor에서 동작하는 Open source IDS Suricata를 최적화하여, 더 빠른 성능을 낼 수 있게 하는 프로젝트를 진행하고 있습니다.

  • Network and Security (NS) Lab

    담당교수 윤현수 교수
    분야 Applied cryptograhy / System security / Wireless sensor network / Multimedia virtual networks
    소개 NS Lab은 암호학적 프로토콜 디자인과 같은 응용암호학을 연구하는 분야와 내,외부 공격으로부터 시스템의 availability를 증대시키는 system security 연구하는 분야 그리고 무선 센서 네트워크상에서 에너지 효율성을 증대시키고 reliable한 데이터전송을 위한 연구분야로 나뉘어 진행되고 있습니다. Security와 가장 관련이 깊은 system security team에서는 가상화시스템에 접근하는 공격에 대한 모든 패턴을 인식하기 보다는 상황에 따라 적절한 Virtual Machine의 cleansing을 주기적으로 수행함으로써 공격이 이루어질 수 있는 시간을 줄이고 시스템 일부에 corruption이 발생하더라도 정상사용자에게 정상서비스를 지속적으로 제공하기 위한 ITS관련 연구가 진행 중입니다.
    사이트 http://nslab.kaist.ac.kr

    NS Lab은 암호학적 프로토콜 디자인과 같은 응용암호학을 연구하는 분야와 내,외부 공격으로부터 시스템의 availability를 증대시키는 system security 연구하는 분야 그리고 무선 센서 네트워크상에서 에너지 효율성을 증대시키고 reliable한 데이터전송을 위한 연구분야로 나뉘어 진행되고 있습니다. Security와 가장 관련이 깊은 system security team에서는 가상화시스템에 접근하는 공격에 대한 모든 패턴을 인식하기 보다는 상황에 따라 적절한 Virtual Machine의 cleansing을 주기적으로 수행함으로써 공격이 이루어질 수 있는 시간을 줄이고 시스템 일부에 corruption이 발생하더라도 정상사용자에게 정상서비스를 지속적으로 제공하기 위한 ITS관련 연구가 진행 중입니다.

암호학

  • Cryptology (Crypt) Lab

    담당교수 이주영 교수
    분야 Cryptology / Information Security / Combinatorics
    소개 암호론 연구실은 암호학의 다양한 주제를 주로 증명 가능한 안전성의 관점에서 연구합니다. 기존 설계된 암호 알고리즘의 안전성을 분석하고, 한편으로 증명 가능한 안전성과 효율성을 동시에 제공하는 암호 알고리즘 및 프로토콜을 설계합니다. 또한 일방향 해쉬함수 기반 전자서명, 오류정정부호 기반 공개키 암호시스템 등 포스트 퀀텀 암호를 연구하고 있습니다.
    사이트 https://sites.google.com/view/cryptlab/home

    암호론 연구실은 암호학의 다양한 주제를 주로 증명 가능한 안전성의 관점에서 연구합니다. 기존 설계된 암호 알고리즘의 안전성을 분석하고, 한편으로 증명 가능한 안전성과 효율성을 동시에 제공하는 암호 알고리즘 및 프로토콜을 설계합니다. 또한 일방향 해쉬함수 기반 전자서명, 오류정정부호 기반 공개키 암호시스템 등 포스트 퀀텀 암호를 연구하고 있습니다.

  • Cryptology and Information Security (C & IS) Lab

    담당교수 김광조 교수
    분야 Cryptology / Information security / Security management and policy
    소개 C&IS Lab의 연구분야는 암호 및 정보보안 (Cryptology and Information Security) 이론과 응용입니다. 연구분야에 나온것처럼 암호 및 보안과 관련된 여러가지 분야들(시스템 네트워크 등)을 연구하고 있습니다.
    사이트 https://caislab.kaist.ac.kr/

    C&IS Lab의 연구분야는 암호 및 정보보안 (Cryptology and Information Security) 이론과 응용입니다. 연구분야에 나온것처럼 암호 및 보안과 관련된 여러가지 분야들(시스템 네트워크 등)을 연구하고 있습니다.