Digital Library


Search: "[ author: 김형식 ]" (14)
    동형 암호를 활용한 프라이버시 보장 암호화 API 오용 탐지 프레임워크
    김승호, 김형식, Vol. 34, No. 5, pp. 865-873, 10월. 2024
    10.13089/JKIISC.2024.34.5.865
    주제어: Privacy-Preserving Machine Learning, homomorphic encryption, Cryptographic API Misuse Detection, Convolutional Neural Network

    LockPickFuzzer: ADB 기반 퍼징 기법을 활용한 안드로이드 잠금 화면 메커니즘의 취약점 탐색
    고대훈, 김형식, Vol. 34, No. 4, pp. 651-666, 8월. 2024
    10.13089/JKIISC.2024.34.4.651
    주제어: android security, Lock Screen Bypass, Fuzzing, ADB, Authentication Vulnerabilities

    API 호출 빈도를 이용한 악성코드 패밀리 탐지 및 분류 방법
    조우진, 김형식, Vol. 31, No. 4, pp. 605-616, 8월. 2021
    10.13089/JKIISC.2021.31.4.605
    주제어: Malware, Family, Detection, Classification, API

    정적 오염 분석을 활용한 타입스크립트 코드의 보안 취약점 탐지
    문태근, 김형식, Vol. 31, No. 2, pp. 263-277, 4월. 2021
    10.13089/JKIISC.2021.31.2.263
    주제어: Taint Analysis, Static Analysis, Software Test, TypeScript, Javascript, Taint Analysis, Static Analysis, Software Test, TypeScript, Javascript

    안드로이드 앱 캐시 변조 공격의 설계 및 구현
    홍석, 김동욱, 김형식, Vol. 29, No. 1, pp. 205-214, 1월. 2019
    10.13089/JKIISC.2019.29.1.205
    주제어: ART, app cache, app integrity attack, ART, app cache, app integrity attack

    무인 복합 출력기 솔루션의 취약성 분석
    지우중, 김형식, Vol. 29, No. 1, pp. 165-174, 1월. 2019
    10.13089/JKIISC.2019.29.1.165
    주제어: Printer kiosk, HTTP, URL meta data, URL guessing attack, Printer kiosk, HTTP, URL meta data, URL guessing attack

    Bitcoin Lightning Network의 강건성에 대한 연구
    이승진, 김형식, Vol. 28, No. 4, pp. 1009-1019, 7월. 2018
    10.13089/JKIISC.2018.28.4.1009
    주제어: Lightning Network, Network robustness, Network attack, Network failure, Lightning Network, Network robustness, Network attack, Network failure

    안드로이드 앱을 이용한 실시간 유료 방송 취약점 분석
    최현재, 김형식, Vol. 26, No. 6, pp. 1505-1512, 12월. 2016
    10.13089/JKIISC.2016.26.6.1505

    TrustZone의 시큐어 타이머를 이용한 효율적인 커널 검사 시스템
    김진목, 김동욱, 박진범, 김지훈, 김형식, Vol. 25, No. 4, pp. 863-872, 8월. 2015
    10.13089/JKIISC.2015.25.4.863

    변종 악성코드 유사도 비교를 위한 코드영역의 함수 분할 방법
    박찬규, 김형식, 이태진, 류재철, Vol. 25, No. 2, pp. 321-330, 4월. 2015
    10.13089/JKIISC.2015.25.2.321