Alumni

Ph.D

김윤삼(Kim, Yun-Sam)

학위 논문: 향상된 개인정보보호를 위한 추상화 기반 접근 체어 프레임워(Abstraction Based Access Control Framework for Enhanced Privacy). 2012. 2

브이플러스랩(주)(V+Lab , VPlusLab Inc. ) 재직

백준영(Paik, Joon-Young)

학위 논문: Application-based Performance Improvement Schemes for NAND Flash Memory, 2013. 8 (in English)

서영호(Suh, Young-Ho)

학위 논문: Integrated Control Architecture for the Robotic Mediator in Smart Environments, 2013. 2 (in English)

한국전자통신연구원(ETRI, Electronics and Telecommunications Research Institute) 재직

김근용(Kim, Geun Yong),

학위 논문: Byte Frequency based Indicators for Crypto-Ransomware Detection from Empirical Analysis, 2022.8 (in English)

(전) 국가보안기술연구소(NSR)

목성균(Mok, Seong Kyun),

학위 논문: Toward Enhancement of Vulnerability Detection via Program Analysis, 2023.2 (in English)

국가보안기술연구소(NSR) 재직

Research Area and more : click here

M.S

박준홍(Park, Jun-Hong)

학위 논문: 정책기반 로봇 협업 프로그래밍 환경(Policy-based Robot Collaboration Programming Environment), 2011.2

(주)유미테크(Ubiquitous Media Technology Co, Ltd) 재직

민영목(Min, Young-Mok)

학위 논문: 상황 인식 컴퓨팅 환경에서의 미들웨어 독립적인 반응적 프로그래밍 구조 연구(Research about middle-ware dependent programming structure in context-aware computing environments)

(주)케이시크(KSEEK Co, Ltd) 재직

최낙민(Choi, Nak-min)

학위 논문: 향상된 개인정보보호를 위한 추상화 기반 접근 체어 프레임워크(Abstraction Based Access Control Framework for Enhanced Privacy). 2012. 2

(주) LIG 넥스원(LIG Nex1 Co., Ltd. ) 재직

신근태(Shin Keuntae)

학위 논문: 이진 코드의 필요 메모리 크기 정적 분석(Memory size analysis on binary level), 2011.2

(주)삼성전자(Samsung Electronics Co, Ltd) 재직

윤태섭(Yoon, Tae Seob)

학위 논문: An Automatic Exception Detection Framework, 2014. 8 (in English)

한국특허정보원 (KIPI, Korea Institue of Patent Information) 재직

최중현(Choi, Joong Hyun)

학위 논문: 상황인지 시스템을 위한 이벤트 스트림 질의 처리의 성능 개선 방안 연구(The Performance Improvement of Event Stream Query Processing for Context- Aware System), 2015. 2

(주)카카오 (Kakao Corp. ) 재직 (현 박사과정)

엄기진(Eom, Ki Jin)

학위 논문: 공격 가능한 크래시 탐지를 위한 ARM 바이너리의 정적 분석 방법(A Static Analysis Technique on ARM Binaries For Detecting Exploitable Crash), 2015. 2

Klaytn Foundation 재직

전현구(Jeon, Hyeon Gu)

학위 논문: 바이너리 프로그램의 정적분석에서 메모리 분석 및 분석범위 확장을 통한 정교성 향상 (Improvement on Accuracy Using Location Analysis and Inter-Procedure Analysis in Static Analysis for Binary Program) 2017.2

(주)우아한형제들(Woowa Brothers Corp.) 재직

김영철(Kim, Yeong Cheol)

학위 논문: 효과적인 유사도를 이용한 기계학습 기반 패커 식별 방법(Packer Identification Method Using Efficient Similarity Analysis and Machine Learning), 2018.2

슈어소프트테크(주) (Suresoft Technologies Inc. ) 재직

정형근(Jung, Hyung Ken)

학위 논문: 선박의 목적지 및 도착시간 추정 연구 (Estimation of Ships' Destination and Arrival Time) 2019.8

(주)삼성전자 (Samsung Electronics Co. Ltd) 재직

이석수(Lee, Seok Su)

학위 논문: 기계학습 알고리즘을 이용한 압축된 펌웨어 이미지 파일 정보 분석 도구 (Compressed Firmware Image File Information Analysis Tool Using Machine Learning Algorithm) 2019.8

전 슈어소프트테크(주) (Suresoft Technologies Inc. ), 현 박사과정

정현지(Jung, Hyun Ji)

학위 논문: 안드로이드 미디어프레임워크 취약점 심각도 분류 정보를 제공하기 위한 정적 분석 자동화 도구 (Static analysis tools that provide Android media Framework Vulnerability Serverity Classification Information ) 2020.2

Research Area : openstack 기반의 클라우드 시스템 IaaS 서비스 운영, openstack swift

(주) 뷰컴즈 (VIEWCOMMZ Co.) 재직

이수연(Lee, Soo Yeon)

학위 논문: 함수 호출 안전성 향상을 위한 스마트 컨트랙트 가상머신 개선 (To improve the safety of function calls Smart contract virtual machine improvement), 2020.8

CJ 올리브네트웍스(주) (OliveNetworks Co. Ltd.) 재직

양종환(Yang, Jong Hwan)

학위논문: Semantic aware backward bounded symbolic analysis for opaque predicate detection, 2021.8 (in English)

Research Area : Binary code analyses

김지수(Kim, Jisoo)

학위논문: 스마트 컨트랙트 런타임 안정성을 위한 함수 호출 가로채기를 활용한 정책기반 이더리움 바이트코드 재작성기 (Policy-based Ethereum bytecode rewriter utilizing function call interception for smart contract runtime safety), 2023.2

Research Area : Byte code anaysis for evm based smart contracts and Android framework analysis

김정우(Kim, JeongWoo)

학위논문: 효과적인 악성코드분석을 위한 딥러닝기반의 바이너리 코드 분석 도구 (Deep Learning-based Binary code Analysis Method for Effective Malware Analysis), 2023.2

Research Area : 머신러닝 기반 바이너리 코드 분석 및 도구 개발

국가보안기술연구소 (NSR) 재직

강서연(Kang, Seo Yeon)

학위논문: Performance improvement of MBA expression simplification based on program synthesis, 2023.2 (in English)

Research Area : Mixed Boolean Arithmetic Expression Deobfuscation

최창원(Choe, ChangWon)

학위논문: MyBatis 프로그램 안전성 향상을 위한 메타데이터 기반의 오류분석 및 필터링 기법 (Metadata-Based Error Analysis and Filtering Method to Enforce the Safety of MyBatis Program), 2023.2

한국항공우주연구원 (Korea Aerospace Research Institute) 재직

전형창(Jeon, Hyeong Chang)

학위논문: 고도화된 Opaque Predicate 탐지를 위한 역난독화 도구 개선, 2025.2

국가보안기술연구소 (NSR) 재직

B.S

구본철(Goo, Bonchul)

The 1st Member of PLAS Lab.!!

(주)삼성전자 (Samsung Electronics Co. Ltd) 재직

진익현(Jin, Ik-Hyoun)

발표 논문: "Intergration of RDF Processing into a Programming Language," Ik-Hyun Jhin, Nak-Min Choi, Eun-Sun Cho, 5th International conference of Advanced information Management and Service, Aug. 2009

(주)삼성전자 (Samsung Electronics Co. Ltd) 재직

정다현(Jeong, Da Hyeon)

발표 논문: "Dystone: Program Analysis-Based Privacy Enhancement System for Smart Contracts" Dahyeon Jeong, Jihyeon Kim, Jisoo Kim and Eun-Sun Cho, Annual Computer Security Applications Conference (ACSAC), Work-in-Progress Talk (peer reviewed), Dec. 2021

(주)네이버 (Naver Corp.) 재직

김지현(Kim, Ji Hyeon)

발표 논문: "Stone: A Privacy Policy Enforcement System for Smart Contracts ", Jihyeon Kim, Dahyeon Jeong, Jisoo Kim and Eun-Sun Cho, the 5th International IEEE Workshop on Blockchain Oriented Software Engineering (BOSE), held within IEEE SANER, Mar. 2022

(주)비즈테크아이(BizTechi) 재직

Other thanks

박병휘(Park, Byeong Hwi), 김유진(Kim, Yu Jin), 이연주(Lee, YeonJu)

Report abuse