보안/SW공학
Chromium WebAssembly 취약점 사례 분석: Overflow, Underflow 관련 사례를 중점으로
컴퓨터공학과 이재홍
지도교수: 최형기
지도교수: 최형기
Docker 컨테이너 취약점 사례 분석 : 컨테이너 탈출 취약점
소프트웨어학과 곽도원
지도교수: 최형기
지도교수: 최형기
Enhanced Symbolic Execution: A Two-Phase State Filtering and Selection Framework using KLEE and FeatMaker
스포츠과학과 한재웅
지도교수: 차수영
지도교수: 차수영
동일한 길이의 공통비상위문자열의 개수를 계산하는 개선된 알고리즘
소프트웨어학과 김경근
지도교수: 서의성
지도교수: 서의성
포렌식 관점에서의 라인 분석: MAC OS 애플리케이션 토큰 관리
소프트웨어학과 김성준
지도교수: 최형기
지도교수: 최형기
프로가드가 적용된 안드로이드 앱 위변조 공격
소프트웨어학과 김수종
지도교수: 김형식
지도교수: 김형식
Wire Messaging Application protocol analysis
컴퓨터공학과 김용찬
지도교수: 최형기
지도교수: 최형기
블록체인 네트워크를 이용한 코로나19 역학조사
소프트웨어학과 서지원
지도교수: 정재훈
지도교수: 정재훈
메신저 어플리케이션의 분석과 종단간 암호화 분석 및 개선 방안 제시 –signal, Telegram, KakaoTalk 중심으로
소프트웨어학과 조석준
지도교수: 최형기
지도교수: 최형기
Android CFI 취약점 분석
소프트웨어학과 한승진
지도교수: 최형기
지도교수: 최형기
CodeMate: AI 기반 온라인 코드 협업 플랫폼
소프트웨어학과 이재현
지도교수: 정윤경
지도교수: 정윤경
스마트폰 도난방지 어플리케이션
컴퓨터공학과 이승재
지도교수: 김형식
지도교수: 김형식
Opus Programming Language
소프트웨어학과 김다니일
지도교수: 타메르
지도교수: 타메르
Single Sign-On(SSO)에서의 Token Revocation 구현 검증
소프트웨어학과 양주원
지도교수: 최형기
지도교수: 최형기
WebAssembly 프로그램을 위한 민감 정보 유출 방지 기술
소프트웨어학과 최호준
지도교수: 이호준
지도교수: 이호준
NDN(Named Data Networking)의 PIT에 대한 DDoS 공격 방지 연구
컴퓨터공학과 정수림
지도교수: 최형기
지도교수: 최형기
Klee를 활용한 GNU benchmark testing 자동화
소프트웨어학과 손민규 윤서영
지도교수: 차수영
지도교수: 차수영
Frankencert 2.0: LLM을 활용한 하이브리드 X.509 인증서 퍼징 기법
소프트웨어학과 서주연
지도교수: 황성재
지도교수: 황성재
최근 실행 앱 화면을 통한 개인정보 탈취 공격 분석
소프트웨어학과 류도현
지도교수: 황성재
지도교수: 황성재
모호한 메모리 접근 알고리즘의 클라우드 서비스에의 적용
컴퓨터공학과 용인호
지도교수: 이호준
지도교수: 이호준
영지식증명을 사용한 로그인 시스템 구현
소프트웨어학과 조위성
지도교수: 최형기
지도교수: 최형기
Spring Boot Project에 특화된 테스트케이스 자동 생성
글로벌융합학부 송예진
지도교수: 이은석
지도교수: 이은석
ChatGPT 등 생성형AI 를 활용한 신규 침해지표 확보 방안 연구
소프트웨어학과 김태양
지도교수: 김형식
지도교수: 김형식
두 가지 기호 실행 기술들의 융합하는 방법들
소프트웨어학과 김문수
지도교수: 차수영
지도교수: 차수영
커버리지 기반의 CoAP 퍼저 제작
소프트웨어학과 임세창
지도교수: 구형준
지도교수: 구형준
클라우드 기반 머신러닝 서비스 보안 프레임워크
컴퓨터공학과 서한결 강동윤
지도교수: 이호준
지도교수: 이호준
Automatic Feedback Generation Based on Instructor’s Intent
소프트웨어학과 김은민
지도교수: 이은석
지도교수: 이은석
안드로이드 암호화 오용 분석
컴퓨터공학과 박승현
지도교수: 김형식
지도교수: 김형식
헬스케어 분야 보안 이슈 분석 및 블록체인 기술을 통한 개선 방안 제시
컴퓨터공학과 이희제
지도교수: 이호준
지도교수: 이호준
안드로이드 악성 앱 탐지 성능 향상 기법
소프트웨어학과 정태문
지도교수: 최형기
지도교수: 최형기
Split learning과 Federated Learning의 IoT 환경에서 차이점
컴퓨터공학과 김민기
지도교수: 김형식
지도교수: 김형식
인공지능스피커의 포렌식관점에서의 활용 및 분석
컴퓨터공학과 김민우
지도교수: 김형식
지도교수: 김형식
주민등록증과 Hyperledger를 활용한 블록체인 기반의 분산인증 시스템
컴퓨터공학과 전재영
지도교수: 우사이먼성일
지도교수: 우사이먼성일
Whitelist Filter를 통한 XSSDS의 개선방안
컴퓨터공학과 강민우
지도교수: 정태명
지도교수: 정태명
LLVM CFI와 비교한 Windows CFG의 한계점
소프트웨어학과 박상민
지도교수: 최형기
지도교수: 최형기
웹어셈블리 Use-After-Free 취약점 사례 분석
컴퓨터공학과 현수빈
지도교수: 최형기
지도교수: 최형기
BERT와 SmartConDataset을 이용해 스마트 계약의 취약점 분석
수학과 이진규
지도교수: 김형식
지도교수: 김형식
USB Z-Wave Controller 를 활용한 Z-Wave 패킷 생성/제어 오픈소스 개발
컴퓨터공학과 조기윤
지도교수: 김형식
지도교수: 김형식
PP–GSM: Privacy Preserving Graphical Security Model for Security Assessment as a Service
컴퓨터공학과 이동원 오용우
지도교수: 김형식
지도교수: 김형식
논문 WTAGRAPH: Web Tracking and Advertising Detection using Graph Neural Networks의 구현 및 개선
소프트웨어학과 류호준
지도교수: 김형식
지도교수: 김형식
ROS2 애플리케이션 테스트를 위한 기호 실행기법 적용에 관한 연구
소프트웨어학과 최장섭
지도교수: 이호준
지도교수: 이호준
MS Office 분석 및 취약점 탐색
소프트웨어학과 박다영
지도교수: 최형기
지도교수: 최형기
Game Engine Multiplayer Protocol Vulnerability
소프트웨어학과 하예송
지도교수: 최형기
지도교수: 최형기
오픈 소스의 취약점과 그 예방을 위한 연구
컴퓨터공학과 김준형
지도교수: 이호준
지도교수: 이호준
Lighttpd 웹 서버 취약점 사례 분석
컴퓨터공학과 한영진
지도교수: 김형식
지도교수: 김형식
브랜치 커버리지 측정을 통한 인간과 자동화된 테스트 케이스 비교 분석
소프트웨어학과 이정우
지도교수: 차수영
지도교수: 차수영
블록체인을 활용한 리워드형 크라우드 펀딩 서비스
소프트웨어학과 이준영
지도교수: 김형식
지도교수: 김형식
카카오 신원확인 프로토콜 기술 및 취약점 분석
소프트웨어학과 김도열
지도교수: 최형기
지도교수: 최형기
Smart Feedback Web Application 개발
소프트웨어학과 정희윤
지도교수: 이은석
지도교수: 이은석
아두이노 기반 BadUSB 방어 기법 분석
컴퓨터공학과 이승지
지도교수: 김형식
지도교수: 김형식
CTF 교육용 프로그램
컴퓨터공학과 유병서
지도교수: 이호준
지도교수: 이호준
Linux eBPF를 활용한 고성능 네트워크 보안 도구
소프트웨어학과 김현석
지도교수: 이호준
지도교수: 이호준
마이크로소프트 클라우드 서비스 안정성 점검 및 분석
소프트웨어학과 김영민
지도교수: 최형기
지도교수: 최형기
민감 비민감 데이터 구분 암호화 저장소
소프트웨어학과 문유식 김우주
지도교수: 김형식
지도교수: 김형식
Machine Learning based Tool for Cross-Platform Binary Analysis
소프트웨어학과 최진우
지도교수: 타메르
지도교수: 타메르
Database 복호화 키 저장 위치에 따른 Database 보안성 연구
컴퓨터공학과 이창원
지도교수: 최형기
지도교수: 최형기
WebAssembly 기능 도입으로 인해 크롬에서 발생한 OOB 오류 분석
컴퓨터공학과 이가현
지도교수: 최형기
지도교수: 최형기