Digital Library

Search: "[ author: 박성현 ]" (4)
    프로그램 분석을 위한 정적분석 기반 역추적 제어흐름그래프 생성 방안 모델
    박성현, 김연수, 노봉남, Vol. 29, No. 5, pp. 1039-1048, 10월. 2019
    10.13089/JKIISC.2019.29.5.1039
    주제어: Static Analysis, Symbolic Execution, Binary Vulnerability, Control Flow Graph, Static Analysis, Symbolic Execution, Binary Vulnerability, Control Flow Graph

    웹 어셈블리 모듈 안전성 검증을 위한 퍼징 방법
    박성현, 강상용, 김연수, 노봉남, Vol. 29, No. 2, pp. 275-285, 3월. 2019
    10.13089/JKIISC.2019.29.2.275
    주제어: Web-assembly, Web-assembly Fuzzing, Vulnerability, Web-assembly, Web-assembly Fuzzing, Vulnerability

    동적 기호 실행을 이용한 힙 메모리 OOB 취약점 자동 탐지 방법
    강상용, 노봉남, 박성현, Vol. 28, No. 4, pp. 919-928, 7월. 2018
    10.13089/JKIISC.2018.28.4.919
    주제어: Dynamic Symbolic Execution, software vulnerability, Heap Memory Vulnerability, Out-of-bounds, Dynamic Symbolic Execution, software vulnerability, Heap Memory Vulnerability, Out-of-bounds

    소프트웨어 안전성 검증을 위한 입력 파일 기반 동적 기호 실행 방법
    박성현, 강상용, 김휘성, 노봉남, Vol. 27, No. 4, pp. 811-820, 8월. 2017
    10.13089/JKIISC.2017.27.4.811

Forms






항목별 검색

출판 목록