Digital Library
Search: "[ author: 김형식 ]" (17)
실제 오타 기반 패키지 타이포스쿼팅 생성 모델 연구
방수경,
김형식,
Vol. 36, No. 1, pp. 155-163,
2월.
2026
10.13089/JKIISC.2025.35.6.155
주제어: Typosquatting, Software Supply Chain Security, Detection Evasion
10.13089/JKIISC.2025.35.6.155
주제어: Typosquatting, Software Supply Chain Security, Detection Evasion
TinyML 기반 IDS 성능 평가를 위한 프레임워크 연구
황지은,
김형식,
Vol. 36, No. 1, pp. 51-63,
2월.
2026
10.13089/JKIISC.2025.35.6.51
주제어: TinyML, Intrusion Detection System(IDS), On-device Performance Estimation
10.13089/JKIISC.2025.35.6.51
주제어: TinyML, Intrusion Detection System(IDS), On-device Performance Estimation
악성코드 패밀리 분포가 기계학습 모델 일반화 성능에 미치는영향
조우진,
김형식,
Vol. 35, No. 4, pp. 873-885,
8월.
2025
10.13089/JKIISC.2025.35.4.873
주제어: Malware, Machine Learning, IID, OOD, API
10.13089/JKIISC.2025.35.4.873
주제어: Malware, Machine Learning, IID, OOD, API
동형 암호를 활용한 프라이버시 보장 암호화 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
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
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
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
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,
2월.
2019
10.13089/JKIISC.2019.29.1.205
주제어: ART, app cache, app integrity attack, ART, app cache, app integrity attack
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,
2월.
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
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,
8월.
2018
10.13089/JKIISC.2018.28.4.1009
주제어: Lightning Network, Network robustness, Network attack, Network failure, Lightning Network, Network robustness, Network attack, Network failure
10.13089/JKIISC.2018.28.4.1009
주제어: Lightning Network, Network robustness, Network attack, Network failure, Lightning Network, Network robustness, Network attack, Network failure
