| 패스워드 매니저의 보안성 분석 S Kim, H Kim Review of KIISC 28 (1), 36-42, 2018 | 1 | 2018 |
| 브라우저의 비밀번호 저장 기능에 대한 보안 분석 김수린， 김형식 한국정보과학회 학술발표논문집, 1024-1026, 2017 | 1 | 2017 |
| 페이스북 사용자의 스토킹 행위 분석 E Kim, G Cho, J Kang, H Kim Review of KIISC 24 (3), 21-26, 2014 | 1 | 2014 |
| 에드워드 스노든에 의하여 폭로된 NSA 와 GCHQ 의 정부 감시 프로그램 사례 연구 송영배， 김형식 한국정보과학회 학술발표논문집, 817-819, 2013 | 1 | 2013 |
| 스마트폰 기반 Continuous Authentication 기술 동향 G Cho, H Kim Review of KIISC 30 (5), 61-69, 2020 | | 2020 |
| Bitcoin Lightning Network 의 강건성에 대한 연구 이승진， 김형식 정보보호학회논문지 28 (4), 1009-1019, 2018 | | 2018 |
| Smart Lock 인증 기법에 대한 연구동향 분석 G Cho, S Lee, H Kim Review of KIISC 28 (1), 8-15, 2018 | | 2018 |
| 클라우드 컴퓨팅 솔루션에서의 Last Level Cache 은닉채널을 이용한 백도어 제어 이상민， 김형식 한국정보과학회 학술발표논문집, 1080-1082, 2017 | | 2017 |
| Eye-PIN 이중 인증 모델 곽성수， 김형식 한국정보과학회 학술발표논문집, 2025-2027, 2017 | | 2017 |
| 보안성 및 사용성 측면에서의 CAPTCHA 동향 G Cho, J Choi, H Kim Review of KIISC 27 (1), 47-54, 2017 | | 2017 |
| 안드로이드 앱을 이용한 실시간 유료 방송 취약점 분석 최현재， 김형식 정보보호학회논문지 26 (6), 1505-1511, 2016 | | 2016 |
| 동적 분석 회피를 위한 안드로이드 에뮬레이터 탐지 기법 이소라， 김형식 한국정보과학회 학술발표논문집, 846-848, 2015 | | 2015 |
| IoT 기기를 위한 도메인 관리 프레임워크 박경원， 조준성， 김형식 한국정보과학회 학술발표논문집, 1087-1089, 2015 | | 2015 |
| Xen Hypervisor 의 취약점 유형 분석 오상학， 김은현， 김형식 한국정보과학회 학술발표논문집, 1040-1042, 2015 | | 2015 |
| DRM Content Format 의 무결성 체크 우회: MelOn 의 음악 서비스 사례 연구: MelOn 의 음악 서비스 사례 연구 최주섭， 김형식 한국정보과학회 학술발표논문집, 2051-2053, 2015 | | 2015 |
| 스마트홈 보안 기술 및 정책 동향 조금환， 강진아， 조준성， 송영배， 김형식 한국정보처리학회 학술대회논문집 22 (1), 445-448, 2015 | | 2015 |
| M2M 통신을 위한 X. 509 인증서 구조 경량화 오상학， 김형식 한국정보처리학회 학술대회논문집 22 (1), 225-227, 2015 | | 2015 |
| 모바일 인스턴트 메신저에 대한 열거 공격 효과 연구 김은현， 김형식 한국정보과학회 학술발표논문집, 762-764, 2014 | | 2014 |
| 악성 키보드 애플리케이션 등록을 통한 구글 플레이 스토어에서의 애플리케이션 리뷰 프로세스의 문제 조준성， 김형식 한국정보과학회 학술발표논문집, 689-691, 2014 | | 2014 |
| 악성 트래픽 유형 및 탐지 기법 분석 강진아， 김형식 한국정보과학회 학술발표논문집, 741-743, 2014 | | 2014 |
