대학원 학생

• 석사과정: Md Monir Ahammod Bin Atique (2024년 3월 입학 예정)
  • LR 파싱과 ChatGPT/LLM을 조합한 구문 자동 완성 방법
• 석사과정 (융합보안대학원): 박승찬 (2022년 8월 ~ 현재)
  • 기호실행 기반 홈오토메이션 프로그램 취약점 분석
  • 한전 KDN
• 석사 (융합보안대학원): 이아현 (2022년 3월 ~ 2024년2월 졸업 예정)
  • SW 보안약점 공유 및 활용을 위한 데이터 비식별 적용방안
  • 한국인터넷진흥원
• 석사: 유재일 (2020년3월 ~ 2023년2월)
  • LLVM 프레임워크 기반 자체 수정 코드 정적 분석 (악성 바이너리 코드 분석 분야) (PDF, SW)
  • 어크로스비 (병역 특례)
• 석사 (융합보안대학원): 이규해 (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월)
  • 다계층 웹 프로그래밍언어 설계 및 구현, PolyRPC (PDF,SW-web)

학부생(2016.9~현재, 전남대학교)

• 전세옥 (2023.3~ 2024.8, 코어시큐리티 인턴): 퍼징
• 신수민 (2023.3~ 2023.8, RA): 블록체인 스마트계약 Solidity 프로그래밍
• 황수연 (2022.9~ 2024.2, RA): 데이터기반 스몰베이직 프로그램 자동완성 프로그래밍 환경
• 강효정 (2022.12~): 스마트블록 - 스마트띵스 블록 프로그래밍 환경
• 신효원 (2022.12~): 스마트블록 - 스마트띵스 블록 프로그래밍 환경
• 양석우 (2022.12~): 스마트블록 - 스마트띵스 블록 프로그래밍 환경
• 노수지 (2022.9~2024.2, 퍼듀대학교 계절학기 교환학생)
• 김은총 (2022.9~2024.8, 보안 전문가 그룹 BoB 선정)
• 임채승 (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를 활용한 도서관 시스템