박사 졸업

• 서중원 ( 2024, 전북대학교  )

사용자 친화적 개인 키 생성 및 치환 테이블을 활용한 자기 주권 신원 프레임워크

• 문현아 ( 2022, 서강대학교 )
  ERC-20 기능 명세를 활용한 이더리움 스마트 계약의 적합성 평가 방법론

• 이영주 ( 2021, 서강대학교 )
  블록체인 응용에 대한 기술중심의 실용적 정보시스템 감리 방법

• 조수환 ( 2021, 클레이튼재단 )
  사물인터넷 보안을 위한 블록체인 기반의 동적 암호키 생성방안

• 최백준 ( 2020, 틸론 )
  이종 서버 환경에서의 고효율 DaaS를 위한 선택적 압축 방식 및 가상머신 할당 기법

• 고덕윤 ( 2016, 논스랩 )
  유즈케이스 기반 요구사항 시나리오의 누락 행위 추천을 위한 기계학습 기법

• 윤성혜 ( 2016, 국민대학교 )
  코드 리팩토링에 의한 충돌을 해소하기 위한 효율적인 패턴 기반의 병합 지점 추천 기법

박사 수료

• 이진환 ( 2015, 피노텍 )
  커뮤니케이션 소프트웨어 오픈 소스 라이선스(GPLv2) 준수를 위한 소켓 통신 인터페이스 리팩토링 기법

석사 졸업

• 박조연 ( 2026, - )

  공개키와 영지식 검증을 통한 온체인 증거관리 기반 모델 소유권 검증 방법

• 이강호 ( 2026, - )

  ZKAudit: 영지식 증명을 활용한 정책 기반의 프라이버시 보존형 멀티시그 지갑 연구

• 이주희 ( 2025, 박사 진학 )

  영지식 증명 기반의 속성 샘플링 및 보상을 활용한 History 기반의 Shapley Value E-participation Framework

• 주윤재 ( 2025, 박사 진학 )

  EOE-ZKP: 타원 방정식을 기반으로 한 효율적이며 경량화된 ZKP

• 정윤성 ( 2023, 아이스크림에듀 )

  NFT 사용권 제공을 위한 스마트컨트랙트 기반의 접근 제어 기법

• 이열국 ( 2021, 딜로이트 )
  샤드 기반 프라이빗 블록체인 환경에서 데이터 프라이버시 개선을 위한 매트릭스 문자 재배치 기법

• 이도현 ( 2021, 넥슨 )
  이더리움 샤딩 환경에서 부하 분산을 위한 교차 샤드 트랜잭션을 줄인 계정 그룹 동적 할당 기법

• Magne Sætran ( 2021, 비스퀘어랩 )
  Leverage Sidechains to Reduce the Workload for Smart Contracts through Parallelization

• 김인근 ( 2021, 비스퀘어랩 )
  Multi-Party Multiplication Mixing을 이용한 분산 zk-SNARKs 설계 및 구현

• 이유정 ( 2021, - )
  블록체인 샤딩 환경에서 트랜잭션 수행 시간을 고려한 분산 방법

• 장민오 ( 2021, 딜로이트 )
  맴버십 증명의 성능향상을 위한 다중 비암호학해시 함수를 이용한 암호화누산기법

• 박우람 ( 2020, - )
  ASCII 연산 기법을 활용한 블록체인 디지털 자산의 영지식 기반 거래 검증 기법

• 이선재 ( 2020, 국방과학연구소 )
  프라이빗 블록체인에서의 트랜잭션 데이터 접근제어를 위한 그룹키 생성 알고리즘

• 송아람 ( 2020, 삼일 )
  연속적인 IoT 데이터를 블록체인에 저장하기 위한 일괄 처리 방법

• 이상록 ( 2020, LG U+ )
  I2C 프로토콜에서 하드웨어 오라클 문제 해결을 위한 동적 링크키 생성 알고리즘

• 이동현 ( 2020, - )
  IoT 환경 블록체인 검색 성능 개선을 위한 B+ Tree 기반 분산 원장 스킴
  및 알고리즘

• 정다은 ( 2020, 넥슨 )
  오프체인 데이터의 오라클 문제를 해결하기 위한 다중 랜덤 선출 알고리즘

• 박지우 ( 2018, - )
  차량 내부망의 동적 암호화 키 생성 환경에서 일치된 키를 위한
  분산 합의 프로토콜

• 정원우 ( 2018, 쿠팡 )
  Least Mean Square 기반의 동적 거래 크기 제한 방법을 이용한 블록체인 DDoS 공격 대처 방법

• 이동영  ( 2018, 코스콤 )
  블록체인 기반 신뢰성 있는 다중 검색 시나리오 지원을 위한 검색 모듈

• 이우승 ( 2017, KT )
  자동차 내부 네트워크 보안을 위한 공유된 메시지 히스토리 기반
  블록 키 생성 알고리즘

• 고동휘 ( 2017, 아이콘 루프 )
  블록체인 기반 스마트 계약에서 외부 인터페이스를 위한 분산합의 연구

• 마경욱 ( 2016, 스마일게이트 )
  EFSM 확장 사용자 행동 모델 기반 GUI 사용성 저해 요소 검출 기법
  

• 이홍석 ( 2015, LG전자 )
  클래스 특성 기계학습에 기반한 클래스 이름의 접미사 검증 기법
  

• 이채영 ( 2015, KT )
  소스 코드 이해도 향상을 위한 규칙 기반의 리팩토링 함수 추적 방법

• 박의제 ( 2014, 네이버 )
  클래스의 간접 및 직접 관계 기반 소프트웨어 모듈화를 통한
  변경 용이성 향상 기법

• 주대연 ( 2014, - )
  리플렉션 기법을 활용한 심리스 애플리케이션의 객체의 상태 자동
  추출 및 복원 기법
  

• 함동화 ( 2014, 우담기술 )
  순차적 메소드 호출 응집도 기반의 긴 메소드 식별 방법

• 김유림 ( 2013, - )
  유즈케이스 시나리오에서 유즈케이스 패턴을 이용한 대체 흐름 추천 기법

• 민성현 ( 2013, 삼성전자 ) 
  역공학에서의 시퀀스 다이어그램 생성을 위한 규칙 기반의 호출 트리 통합 기법
  

• 박선욱 ( 2013, 예탁결제원 )
  Pattern-based model transformation using QVT for
  interoperability improvement

• 정진우 ( 2012, 삼성전자 )
  멀티코어 기반의 어플리케이션 소프트웨어 아키텍처 대안 간의 성능비교 방안

• 김영욱 ( 2012, LG전자 )
  의도 기반의 사용자 행위 로그를 이용한 모바일 어플리케이션의
  사용성 분석 기법

• 조영도 ( 2012, 논스랩 )
  서비스 로봇 시스템의 기능 행위 및 종속성 식별을 위한 인터랙션 중심 접근법

• 황현진 ( 2011, LG전자 )
  임베디드 소프트웨어 개발을 위한 그레이박스 기반의 요구사항 명세화 기법

• 정지영 ( 2010, LG CNS)
  TRIZ 모순 해결 원리를 이용한 요구사항 충돌의 창의적 해결 방법

• 윤현지 ( 2010, - )
  아키텍처 기반의 소프트웨어 비정상행위 탐지를 위한 다계층적 모니터링 방안

• 조시호 ( 2009, 그라운드엑스 )
  비용을 고려한 아키텍처 평가를 지원하는 소프트웨어 아키텍처 비용 추정 기법
  

• 김석환 ( 2009, - )
  동적 아키텍처 스케줄링을 위한 사용 패턴 기반의 프레임워크

• 백범호 ( 2009, - )
  애자일 소프트웨어 개발 방식에서의 진행 분석 및 품질 예측 기법

• 심빈구 ( 2009, - )
  트랜잭션의 시점, 크기 및 개발자의 숙련도를 고려한 논리적 커플링 측정기법

• 김규래 ( 2009, - )
  내부 상태 기반의 자가치유 서비스 로봇 구현

• 허상민 ( 2008, 삼성전자 )
  품질속성별 패턴 적용을 통한 비기능적 요구사항 추적관리 방안

• 김선화 ( 2008, - )
  서비스 로봇 시스템을 위한 동적 관점 기반 실시간 적응 제어 방법

• 한지영 ( 2007, 삼성전자 )
  목표와 시나리오 모델 기반의 요구사항 중복 및 충돌 식별 방법
  

• 양원석 ( 2006, 삼성전자 )
  임베디드 시스템의 COMET 기반의 동적 모델링을 위한 정형검증 방안

• 정창해 ( 2006, 바운티에스앤비 )
  가변적 품질 요구사항을 위한 동적 아키텍처 변환 지원 시스템

• 김용범 ( 2006, 삼성전자 )
  소프트웨어 시스템 병합시 발생되는 기능적 중복 및 충돌 식별을 위한 
  유즈케이스 기반의 방안

• 이창병 ( 2006, 현대자동차 )
  진화를 위한 Self-Managed 소프트웨어의 서비스 제공 능력 평가를 위한
  서비스 모델 제안

• 양이진 ( 2005, - )
  요구사항 분류기반의 액티비티, 자원 충돌 관리 프로세스 및 도구 제한

• 오광근 ( 2005, 삼성전자 )
  기능 관점의 임베디드 소프트웨어 아키텍처 프레임워크 설계 방법
  

• 장효은 ( 2005, 삼성전자 )
  Agent-Based Self-adaptive S/W Architecture of Operation and 
  Management System for Future Radio Networks

• 정재민 ( 2004, - )
  모바일 WIPI 플랫폼에서의 적응형 소프트웨어를 위한 컴포넌트의
  재구성 프레임워크

• 서성숙 ( 2003, - )
  요구사항관리를 위한 프로세스 지침서 및 테이러링 방안 연구

• 이은미 ( 2003, - )
  품질 속성 카테고리를 사용한 비기능 요구사항 분석 방안

• 서만수 ( 2003, 삼성전자 )
  적응형 소프트웨어의 상황 모델링을 위한 적응 요구사항 명세화 방안 
  

• 나호영 ( 2003, 삼성전자 )
  학습이론을 이용한 프로세스 테일러링 기법 자동화 도구 구현

• 김은정 ( 2002, - )
  UML 근간의 DAML-S의 서비스 프로파일 및 서비스 모델의 분석 방안

• 박성운 ( 2002, - )
  반응적 에이전트 프레임워크 패턴 언어
  

• 이재호 ( 2001, - )
  유즈케이스 모델링을 위한 시나리오 근간의 목표 지향 분석 방안
  

• 박원영 ( 2001, - )
  자율성 및 상호작용성을 위한 에이전트 아키텍처 설계

• 이계휘 ( 2001, 한국주택금융공사 )
  이동 에이전트의 메타 아키텍처 개발

• 송재승 ( 2001, 세종대학교 )
  프로덕트 라인 개발 방법에서의 피쳐 모델의 명세화 방안
  

• 강기선 ( 2000, - )
  시나리오 기반의 시스템 요구사항 변경관리 모델

• 박병철 ( 2000, - )
  컴포넌트 기반 시스템 개발을 위한 요구사항과 컴포넌트 명세화 방안
  

• 김종원 ( 2000, - )
  소프트웨어 컴포넌트의 협력성 지원을 위한 기반구조 개발:
  출반발전 교통정보안내 서브시스템에서의 적용 및 구현 

• 박근하 ( 2000, - )
  목표지향 분석기법을 이용한 컴포넌트의 동적특성 모델링
  

• 이승연 ( 2000, - )
  다중 에이전트 시스템 구축을 위한 아키텍쳐 개발방법 및 이의 응용

• 홍태기 ( 2000, - )
  아키텍처 트레이드오프 분석 방법을 지원하는 웹 기반의 시나리오
  관리도구의 구현

• 김민정 ( 1999, - )
  에이전트 지향 소프트웨어의 모델링 방법: 내부 모델

• 박인재 ( 1999, - )
  페트리넷을 이용한 에이전트 지향 소프트웨어의 행위를 중심으로 한 모델링 방법
  

• 이동훈 ( -, 코드 프레소 )
  -