High Tech, High Touch



  • home
  • 연구
  • 연구실



게시글 검색
  • Software Security 연구실 - 황성재 교수님


    모바일/블록체인/자동차 보안

    소프트웨어 테스팅

    프로그램 분석

    주요연구실적 (2019~현재)

    JUSTGen (ICSE 2021): 가상머신 동작 검증을 위한 동적 테스팅 프레임워크 제안. JVM 의 792 개의 버그를 리포트 하였으며, 563 개의 버그가 수정됨.

    Smart Contract Security (ICSE 2020): 스마트 컨트랙트 쥐약점 탐지 분석기 제안. 13,943개의 스마트 컨트랙트에서 보안 문제를 발견 및 리포트하여 CVE8 개 발급받음

    Activity Injection (SPE 2020): 안드로이드 플랫폼에서 새로운 공격 방식을 개발하고 이를 자동으로 탐지하는 정적분석기 제안.

  • 소프트웨어 분석 연구실 - 차수영 교수님


    소프트웨어 테스팅 (화이트-박스 테스팅)

    데이터-기반 소프트웨어 취약점 자동 검출 기술

    기계학습 기반 정적-분석 기술

    주요연구실적 (2019~현재)

    SymTuner (ICSE 2022): 화이트-박스 SW 테스팅 도구들의 외부 파라미터들을 기계-학습 기법을 이용해서 자동으로 조정해주는 기술.

    ParaDySE (IEEE Transactions on Software Engineering 2022): 동적 기호실행의 핵심 기법인 탐색 전략《Search Heuristic)을 자동으로 생성하는 기술.

    ADAPT (ISSTA 2020): 심층 신경망(Deep Neural Network)의 취약점을 효과적으로 검출하기 위한 화이트-박스 테스팅 기술.

    HOMI (ESEC/FSE 2020): 각 프로그램에 최적화된 동적 기호실행의 '상태-자르기 전략(State-Pruning Heuristic)'을 자동으로 학습하는 기술.

    Chameleon (ESEC/FSE 2019): 화이트-박스 테스팅 기법 "콘콜릭 테스팅 (Concolic Testing广의 코드 탐색 기준을 기계-학습을 통해 적응적으로(Adaptively) 바꿔주는 기술

  • Internet of Things (IoT) 연구실 - 정재훈 교수님


    Cloud-Based Security Systems - Interface to Network Security Functions (I2NSF): https://datatracker.ietf.org/wg/i2nsf/documents/

    Vehicular Networking - IPv6 Wireless Access in Vehicular Environments (IPWAVE):


    SNS Influencer Marketing Platform: https://ieeexplore.ieee.org/document/9728965

    Indoor Positioning Systems: https://ieeexplore.ieee.org/document/9296763

    주요연구실적 (2020~현재)

    “Context-Aware Navigation Protocol for Safe Driving in Vehicular Cyber-Physical Systems”, IEEE Transactions on Intelligent Transportation Systems, CNP supplemental material, Vol. 24, No. 1, pp. 128-138, January 2023.

    “A comprehensive survey on data dissemination in Vehicular Ad Hoc Networks”, Elsevier Vehicular Communications, Vol. 34, April 2022.

    “A comprehensive survey on vehicular networking for safe and efficient driving in smart transportation: A focus on systems, protocols, and applications”, Elsevier Vehicular Communications, Vol. 31, October 2021.

    “A comprehensive survey on vehicular networks for smart roads: A focus on IP-based approaches”, Elsevier Vehicular Communications, Vol. 29, June 2021.

    “DFC: Device-Free Human Counting through Wi-Fi Fine-Grained Subcarrier Information”, IET Communications, Vol. 15, Issue 3, pp. 337–350, January 2021.

    “Particle Filtering-Based Indoor Positioning System for Beacon Tag Tracking”, IEEE Access, December 2020.

    “IBCS: Intent-Based Cloud Services for Security Applications”, IEEE Communications Magazine, Vol. 58, No. 4, pp. 45-51, April 2020.

    “DAPF: Delay-Aware Packet Forwarding for Driving Safety and Efficiency in Vehicular Networks”, IET Communications, January 2020.

  • ING 연구실 - 정윤경 교수님


    Story Comprehension and Generation

    Natural Language Processing

    Text Analysis, Data Mining

    주요연구실적 (2019~현재)

    Genre-Controllable Story Generation via Supervised Contrastive Learning. The ACM Web Conference 2022

    Analysis of Autoencoders for Network Intrusion Detection. Sensors. 2021

    Extracting and Clustering of Story Events from a Story Corpus. KSII Transactions on Internet & Information Systems 2021

    The CreativeSumm 2022 Shared Task: A Two-Stage Summarization Model using Scene Attributes. The Workshop on Automatic Summarization for Creative Writing (ACL) 2022

    A Fast and Efficient Stochastic Opposition-Based Learning for Differential Evolution in Numerical Optimization, Swarm and Evolutionary Computation. 2021

    Advanced Cauchy Mutation for Differential Evolution in Numerical Optimization. IEEE Access. 2020


    Basic Science Research Program (2019-2023, NRF): Research on Text Understanding Techniques for Intelligent Story Generation Systems

    ETRI (’20-’23, Ministry of Science and ICT - IITP) – Development of 5G Edge Security Technology for Ensuring 5G+ Service Stability and Availability

    NCSoft (‘21-’22) - Analysis of Story Structure

    SKKU Convergence Research Fund (’20, Collaboration with Samsung Hospital) - Development of an Ophthalmologist Chatbot

    ICT Information Technology Research Center Support Program (’17-’22, Ministry of Science and ICT - IITP) - Content Creation Technology Utilizing Artificial Intelligence

  • Computer Systems & Intelligence (CSI) 연구실 - 이준원 교수님


    Operating Systems

    Cloud Computing

    Storage System

    Embedded Computing


    Transparently Exploiting Device-reserved Memory for Application Performance in Mobile Systems, IEEE Transactions on Mobile Computing, vol. 15, no. 11, pp. 2878-2891, Nov 2016, Jinkyu Jeong, Hwanju Kim, and Joonwon Lee

    Cache Scheme of Shared-Buffer Mappings for Energy-Efficiency of Mobile Devices, IET Electronics Letters, vol. 51, no. 11, pp. 830-832, May 2015, Jinkyu Jeong, Joonwon Lee and Euiseong Seo

    Exploiting Asymmetric CPU Performance for Fast Startup of Subsystem in Mobile Smart Devices, IEEE Transactions on Consumer Electronics, vol. 61, no. 1, pp. 103-111, Feb. 2015, Jun Kim, Joonwon Lee, and Jinkyu Jeong

    Virtual Asymmetric Multiprocessor for Interactive Performance of Consolidated Desktops, ACM SIGPLAN Notices, vol. 49, no. 7, pp. 29-40, Jul. 2014, Hwanju Kim, Sangwook Kim, Jinkyu Jeong, and Joonwon Lee.

    Sung-hun Kim, Jinkyu Jeong, and Joonwon Lee, "Selective Memory Deduplication for Cost Efficiency in Mobile Smart Devices," IEEE Transactions on Consumer Electronics, Vol. 60, Issue 2, pp. 276-284, May 2014

    Group-based Memory Oversubscription for Virtualized Clouds, Journal of Parallel and Distributed Computing, Vol. 74, Issue 4, pp. 2241-2256, April 2014, Sangwook Kim, Hwanju Kim, Joonwon Lee and Jinkyu Jeong

    Analysis of Virtual Machine Live-Migration as a Method for Power-Capping, Journal of Supercomputing, Vol. 66, Issue 3, pp. 1629-1655, December 2013, Jinkyu Jeong, Sung-hun Kim, Hwanju Kim, Joonwon Lee, Euiseong Seo

    Efficient Function Call Tracing with Link-Time Binary Rewriting for CE Devices, IEEE Transactions on Consumer Electronics, Vol. 59, Issue 4, pp. 892-900, November 2013, Bon-Keun Seo, Jinkyu Jeong, Joonwon Lee, and Euiseong Seo

    Demand-Based Coordinated Scheduling for SMP VMs, ASPLOS 2013

  • VIS2KNOW 연구실 - 무함마드칸 교수님


    Pattern Recognition, Machine Learning, Computer Vision, Big Data Analytics

    Multimedia, loT/loMTr Image and Video Processing, Information Security, Fire/Smoke Scene Analysis

    주요연구실적 (2016-현재)

    Invited Speaker for topic "F니ture of E-Health and Telemedicine" under the program "MARIE CURIE COFUND PROGRAMME/; scheduled on 21st April 2021.

    Invited Speech on "Intelligent Video Summary Generation: Current Challenges and Future Directions" at 2020 International Conference on Intelligent Data Science Technologies and Applications (IDSTA), Valencia, Spain.

    Invited Speech on 'Intelligent Video Summary Generation: Current Challenges and Future Di recti onsH at The Fourth International Conference on Multimedia Computing, Networking and Applications (MCNA2020), Valencia, Spain.

  • Security Engineering 연구실 - 김형식 교수님


    Security engineering

    Usable security

    주요연구실적 (2021~현재)

    “SmartMark: Software Watermarking Scheme for Smart Contracts”, Taeyoung Kim, Yunhee Jang, Chanjong Lee, Hyungjoon Koo, and Hyoungshick Kim, ICSE: The 45th International Conference on Software Engineering, Melbourne, Australia, 2023.

    “AppSniffer: Towards Robust Mobile App Fingerprinting Against VPN”, Sanghak Oh, Minwook Lee, Hyunwoo Lee, Elisa Bertino, and Hyoungshick Kim, WWW: The 32nd Web Conference, Austin, USA, 2023.

    “Mutexion: Mutually Exclusive Compression System for Mitigating Compression Side-Channel Attacks”, Taegeun Moon, Hyoungshick Kim, and Sangwon Hyun, ACM Transactions on the Web (TWEB), 2022.

    “Evaluation and Optimization of Distributed Machine Learning Techniques for Internet of Things”, Yansong Gao, Minki Kim, Chandra Thapa, Alsharif Abuadbba, Zhi Zhang, Seyit Camtepe, Hyoungshick Kim, and Surya Nepal, IEEE Transactions on Computers (TC), 2022.

    “Design and Evaluation of a Multi-Domain Trojan Detection Method on Deep Neural Networks”, Yansong Gao, Yeonjae Kim, Bao Gia Doan, Zhi Zhang, Gongxuan Zhang, Surya Nepal, Damith C. Ranasinghe, and Hyoungshick Kim, IEEE Transactions on Dependable and Secure Computing (TDSC), 2022.

    “ARGH!: Automated Rumor Generation Hub”, Larry Huynh, Manh Duy Thai Nguyen, Joshua Goh, Hyoungshick Kim, and Jin Hong, CIKM: The 30th ACM International Conference on Information and Knowledge Management (selected as “best paper nominations”), Virtual, 2021.

    “Rocky: Replicating Block Devices for Tamper and Failure Resistant Edge-based Virtualized Desktop Infrastructure”, Beom Heyn Kim and Hyoungshick Kim, ACSAC: The 37th Annual Computer Security Applications Conference, Virtual, 2021.

    “Fine with “1234”? An Analysis of SMS One-Time Password Randomness in Android Apps”, Siqi Ma, Juanru Li, Hyoungshick Kim, Elisa Bertino, Surya Nepal, Diet Ostry, and Cong Sun, ICSE: The 43rd International Conference on Software Engineering, Madrid, Spain, 2021

  • 네트워킹 시스템 연구실 - 김영훈 교수님


    GPU 활용 네트워킹 및 그 응용 어플리케이션

    향상된 컨테이너 자원 관리 기법 (간섭, 네트워킹)

    기계 학습 성능 향상을 위한 GPU 자원 관리 기법 연구

    주요연구실적 (2019~현재)

    GPU-Ether (Infocom 2021): GPU 어플리케이션을 위한 GPU-NIC 직접 통신 기법에 관한 연구. 10Gbps 기준 모든 패킷 사이즈에 대해 성능 저하 없이 GPU 로 패킷 전송이 가능하며 지연시간, 쓰루풋 기준 최대 80%의 성능 향상을 보임,

  • AI convergence 연구실 - 김광수 교수님


    Computer Vison
    Domain Adaptation
    Federated Learning
    AI Applications
    Explainable AI
    Privacy Protection

    주요연구실적 (2021~현재)
    A Convolutional Transformer Model for Multivariate Time Series Prediction, IEEE ACCESS 10-0 101319-, 2022
    Empirical Measurement of Client Contribution for Federated Learning With Data Size Diversification, IEEE ACCESS, 10-0 118563- 2022
    Deep Non-Line-of-Sight Imaging Using Echolocation, MDPI  SENSORS, 22-21, 2022
    Generalized Facial Manipulation Detection with Edge Region Feature Extraction, IEEE/CVF Winter Conference on Applications of Computer, 1-1 2784-, 2022
    Image Perturbation-Based Deep Learning for Face Recognition Utilizing Discrete Cosine Transformation, MDPI ELECTRONICS, 11-1 25-33, 2021
    A Daily Tourism Demand Prediction Framework Based on Multi-head Attention CNN, IEEE Symposium Series on Computational Intelligence, 1-1, 1-10, 2021
    Canine Behavior Interpretation Framework Using Deep Graph Model, ICAISC 2021: Artificial Intelligence and Soft Computing, 1-1, 99-110, 2021

  • SecAI 연구실 - 구형준 교수님


    인공지능을 활용한 보안

    소프트웨어 보안

    시스템 보안

    주요연구실적 (2016~현재)

    Binary Function Boundary Identification (ACSAC 2021): 실행 바이 너리 상에서 함수 경계를 인식하는 문제로 리버싱 도구로 바이너리를 분석할 때 초석이 되는 연구

    Software Watermarking via a Binary Function Relocation (ACSAC 2021): 실행 바이 너리 함수 재배치로 워터마킹 정보를 인코딩함으로써 소프트웨어 저작권을 해결하는 연구

    Slimium: Debloating the Chromium Browser with Feature Subsetting (CCS 2020): Chromium 브라우저 상에서 기능을 정의해 사용하지 않는 코드를 제거하고 잠재적인 공격 영 역(attack surface)을 줄이는 연구

    C아npiler-as인sted Code Randomization (S&P 2018): 컴파일러 기반 코드 변형기법으로 컴파일러 툴체인에서 필요한 최소한의 메터데이터만 추출해 신뢰도 높은 바이너리를 생성하는 (binary instrumentation) 연구, CSAW 응용 리서치 분야 Top 10 Finalist 로 선정

    Juggling the gadgets: Binary-level code randomization using instruction displacement (ASIACCS 2016): ROP (return-oriented programming) 공격방어 기술 중 하나로 명령어 재배치를 통해 공격에 사용가능한 명령어 집합(Gadget)을 이전하는 방식을 제안