현재 연구실 구성원
석사과정
👤
석사과정
인공지능보안 (LLM 기반 공격 시나리오)
👤
학석사통합과정
머신러닝 컴파일러 (MLIR/IREE)
👤
학석사통합과정
머신러닝 컴파일러 (MLIR/IREE)
학부 연구생
👤
학부 연구생
홈어시스턴트 비주얼 블럭 프로그래밍 환경
대학원생
- 학석사통합과정: 김지환, 조영진 (2026년 3월 ~)
- 석사과정: 최주언 (2026년 3월 ~)
- 인공지능보안: LLM기반 Caldera 공격 시나리오 생성
- 석사과정: 오다영 (2026년 3월 ~)
- 박사과정: 김석휘 (2026년 3월 ~)
- 오픈소소SW 취약점 전파 탐지 분석 방법
- 케이사인
- 석사과정: 이현진 (2025년 3월 ~ 현재)
- 분산 프로그래밍 언어 Multi-tier Actor 설계 및 구현
- 석사과정: 전세옥 (2024년 9월 ~ 현재)
- 석사: Md Monir Ahammod Bin Atique (2024년 3월 ~ 2025년 8월, 조기 졸업)
- 석사 수료 (융합보안대학원): 박승찬 (2022년 8월 ~ 현재)
- 기호실행 기반 홈오토메이션 프로그램 취약점 분석
- 한전 KDN
- 석사 (융합보안대학원): 이아현 (2022년 3월 ~ 2024년 2월)
- 비식별 적용을 통한 소프트웨어 보안약점 공유 및 활용방안 연구
(링크)
- 한국인터넷진흥원
- 석사: 유재일 (2020년 3월 ~ 2023년 2월)
- LLVM 프레임워크 기반 자체 수정 코드 정적 분석 (악성 바이너리 코드 분석 분야)
(PDF,
SW)
- Dent bird/Imagoworks(병역 특례)
- 석사 (융합보안대학원): 이규해 (2020년 8월 ~ 2023년 2월)
- 다계층 프로그래밍언어 LINKS의 웹 취약점 분석 (웹 보안 분야)
(PDF)
- 인공지능사관학교
- 석사 (융합보안대학원): 서동찬 (2020년 2월 ~ 2022년 2월)
- 분산분석을 이용한 속성 선택 및 최적의 스태킹 모델링을 통한 네트워크 이상탐지 기법 연구
(링크)
- 석사: 임진택 (2020년 8월, 전남대학교)
- 추상 구문 트리의 단말 노드 간 경로에 타입 정보를 추가한 특징을 사용하는 딥러닝 기반 코드 이해
(PDF,
SW)
- LIG 넥스원
- 석사: 김가영 (2019년 8월, 전남대학교)
- 코딩 교육을 위한 프로그래밍 언어 환경 설계 및 구현
(PDF,
SW)
- 캐스트이즈 웹 개발자
- 석사: 고명필 (2015년 8월, 연세대학교 원주캠퍼스)
- 강건한 안드로이드 앱을 위한 인텐트 스펙의 설계와 구현
(PDF,
SW)
- 서울대 이러닝시스탬 개발 부서
포닥 연구원
- 포닥연구원: 봅 렌더스, 벨기 KU Leuven 대학 박사 (2020년 2월 ~ 2021년 2월)
학부생 (2016.9~현재, 전남대학교)
- 김지환, 조영진 (2025.12~현재): 머신러닝 컴파일러(MLIR/IREE)
- 최주언 (2025.5~2026.2): LLM 기반 취약점 진단 항목 평가
- 오다영 (2024.7~2026.2): 오픈소스SW 취약점 전파 탐지
- 윤상권 (2025.5~현재): 소스코드 취약점 탐지
- 정민수 (2025.9~현재): 바이너리 코드 취약점 탐지
- 김경재 (2024.9~2025.11, 오션드라이브 스튜디오): Tree-sitter 엔진 해킹, SmartBlock, ChatGPT기반 VSCode UI
- 강효정 (2022.12~2025.2, 한전 KDN, 일본 IT기업 인턴쉽): ChatGPT기반 코드 완성 VSCode 플러그인, 스몰베이직 파서 tree-sitter 오픈소스 기여
- 신효원 (2022.12~2025.2, 소상공인진흥공단, 구글 GCP 교육): ChatGPT기반 코드 완성 VSCode 플러그인, 스몰베이직 파서 tree-sitter 오픈소스 기여
- 양석우 (2022.12~2025.2, GS 네오텍): ChatGPT기반 코드 완성 VSCode 플러그인, 스몰베이직 파서 tree-sitter 오픈소스 기여
- 전세옥 (2023.3~2024.8, 코어시큐리티 인턴): 퍼징
- 황수연 (2022.9~2024.2, 취업 준비): 데이터기반 스몰베이직 프로그램 자동완성 프로그래밍 환경
- 노수지 (2022.9~2024.8, 뎁시스터즈-킹덤 팀, 퍼듀대학교 계절학기 교환학생)
- 김은총 (2022.9~2024.8, 한전 KDN, 보안 전문가 그룹 BoB, SQL 인젝션 웹 취약점 퍼징 테스팅)
- 임채승 (2022.3~2022.9, 스타트업 창업)
- 최명선 (2022.3~2022.9, 스타트업 창업)
- 황지우 (2022.3~2022.9, 스타트업 창업)
- 진성호 (2021.1~2024.8, 넥슨 서버 개발자 - 웹 개발, 구름 인턴십): 정적 분석 Cubic solver C++ 구현, C++ 과제 자동 채점
- 이정석 (2021.1~2022.12, 넥슨 취업 - 게임 개발)
- 배성희 (2020.2~2021.2, 네이버웍스 취업): 스마트블록 사용자 경험 평가
- 이지용 (2019.6~2020.3, 마이다스 아이티 취업 - 건설 토목 분야 구조설계 소프트웨어 국내 1위)
- 정현수 (2019.6~2020.3, 학부 졸업)
- 김상엽 (2019.8~2022.2, 카카오 커머스 취업): Self-modifying code (SMC) x86과 C 벤치마크
- 홍예진 (2018.3~2019.3, 학부 졸업)
- 조민우 (2018.3~2020.7, 카카오 모빌리티 취업, 현재 당근마켓 근무)
- 이호진 (2018.11~2021.7, 네이버 취업 - BIZ CIC): 블록체인 ERC20 평가 도구 웹 사이트
- 조혜빈 (2018.11~2021.6, KB캐피털 취업): 스마트블록 사용자 경험 평가
- 신승현 (2018.11~2021.7, 네이버 취업): 파서 YAPB C++ 개발
- 조문영 (2017.1~2019.2, 다음카카오 취업, 카카오톡 앱 개발): 마이스몰베이직 코딩 환경 디버거
- 박세영 (2017.1~2019.2, 한국 전력 취업): 마이스몰베이직 코딩 환경
- 김지용 (2016.10~2019.2, 학부 졸업): 마이스몰베이직 코딩 환경
- 조성모 (2016.12~2019.2, 학부 졸업): 마이스몰베이직 코딩 환경
- 정승완 (2016.11~2019.2, 성균관대 AI 대학원 진학): 마이스몰베이직 코딩 환경
- 김가영 (2016.10~2019.8, 학부 졸업 후 연구실 석사 진학): 마이스몰베이직 코딩 환경
학부생 (2011.3~2016.8, 연세대학교 원주캠퍼스 컴퓨터정보통신공학부)
- 이승휘 (2016, 슈어소프트테크 취업): 인텐트 퍼징 테스트 기반 안드로이드 테스트케이스 자동 생성 방법
- 전현지 (2015, 학부 졸업): 스몰베이직 코딩 교육 튜터
- 이화중 (2016, 슈어소프트테크 취업): 인텐트 퍼징 테스트 기반 안드로이드 테스트케이스 자동 생성 방법
- 김현순 (2015~2016, 삼성전자): 코드 중복없이 안드로이드 컴포넌트에 예외처리를 추가하는 클래스 설계 방법에 관한 연구, 안드로이드애 앱의 랜덤 인텐트 테스트에서 유사한 에러 로그를 자동으로 그룹화하는 연구
- 윤성빈 (2015, 학부 졸업): 안드로이드애 앱의 랜덤 인텐트 테스트에서 유사한 에러 로그를 자동으로 그룹화하는 연구
- 최지선 (2015, 학부 졸업): 안드로이드애 앱의 랜덤 인텐트 테스트에서 유사한 에러 로그를 자동으로 그룹화하는 연구
- 권찬우 (2013, 학부 졸업): 연세대 원주캠퍼스 소프트웨어공학 연구실 석사 진학, 안드로이드 NFC 프로그래밍
- 박경득 (2012, 학부 졸업 후 석사, SK 하이닉스): 유해사이트를 접속하는 안드로이드 앱을 문자열 분석으로 검사하는 시스템
- 이정현 (2011, 학부 졸업): 모바일 폰 기반 NFC를 활용한 도서관 시스템
- 박재영 (2011, 연세대학교 원주캠퍼스 박사, 삼성전자): 모바일 폰 기반 NFC를 활용한 도서관 시스템
- 김용강 (2011, GIST 박사, 공주대학교 천안캠퍼스 소프트웨어학과 교수): 모바일 폰 기반 NFC를 활용한 도서관 시스템