Opening

(This page is temporarily in Korean.)

TL;DR

SWEETS Lab에서 함께할 열정적인 학부연구생 및 대학원생을 모집합니다. 관심이 있다면, 김수민 교수(soomink@ewha.ac.kr)에게 연락해주세요.

• 연구 주제: 바이너리 코드 분석기 자동 합성, 컴파일러 테스팅, 양자 컴퓨팅 프로그램 분석, 소프트웨어로의 모델링 및 테스팅, 자동 소프트웨어 취약점 분석 및 익스플로잇, 패치 생성 등
• 지원 자격: 이화여대 학부연구생 혹은 타교 학부생 및 대학원생
• 지원 방법: CV, 성적 증명서, 자기소개서를 포함하여 이메일로 지원

본문

SWEETS Lab에서 함께할 열정적인 학부연구생 및 대학원생을 모집합니다. 여러분들의 머리 속에서 잠자고 있던 아이디어를 세상으로 꺼내어 세상을 발전시킬 수 있는 지식과 기술로 다듬어나가는 과정은 분명히 가치있는 일입니다. 김수민 교수는 여러분들의 연구실에서의 여정을 때로는 앞에서, 때로는 옆에서 함께하며 여러분들을 지원해주고자 합니다.

Q. 어떤 연구를 하게 되나요?

SWEETS Lab에서는 여러분들과 함께 다음과 같은 주제로 연구를 하고자 합니다. 물론, 아래에 적혀있지 않는 새로운 연구 주제를 가지고 오셔도 좋습니다.

• 바이너리 코드 분석기 자동 합성: 바이너리 코드 분석은 마치 컴파일 과정을 거꾸로 수행하는 것과 비슷합니다. 바이너리 코드를 읽어서 명령어의 의미를 IR로 번역하고, IR을 분석하여 바이너리 코드를 이해하는 과정입니다. 기존의 바이너리 코드 분석기는 전문가들이 수작업으로 만들어왔습니다. 하지만, 바이너리 코드 분석기는 매우 복잡한 시스템이기 때문에, 전문가들이 수작업으로 만들어온 분석기는 완벽할 수 없습니다. 따라서, 바이너리 코드 분석기를 언어 모델의 도움을 받아 자동으로 합성하는 연구를 하고자 합니다.

• 컴파일러 테스팅: 컴파일러는 소스 코드를 바이너리 코드로 번역하는 프로그램입니다. 컴파일러는 매우 복잡한 시스템이기 때문에, 컴파일러에 버그가 존재할 수 있습니다. 기호 실행, 퍼즈 테스팅 등 다양한 테스팅 기법을 활용하여 컴파일러의 버그를 찾는 연구를 하고자 합니다.

• 양자 컴퓨팅 프로그램 분석: 양자 컴퓨팅은 기존의 컴퓨팅과는 다른 방식으로 계산을 수행하는 새로운 컴퓨팅 패러다임입니다. 양자 컴퓨터는 아직 초기 단계에 있지만, 양자 컴퓨터가 더 발전함에 따라 그 위에서 실행되는 양자 컴퓨팅 프로그램의 분석이 중요해질 것입니다. 특히, 양자 컴퓨팅에서도 바이너리 코드와 같은 저수준 코드가 존재할 것입니다. 함께 양자 컴퓨팅에 대해 공부하고, 양자 컴퓨팅 프로그램을 분석하는 연구를 하고자 합니다.

• 소프트웨어로의 모델링 및 테스팅: 우리 주위의 다양한 개념들은 컴퓨터와 거리가 멀어보이지만, 어떤 개념들은 소프트웨어로 모델링할 수 있을 것입니다. 소프트웨어로 모델링할 수 있는 개념들을 찾아보고, 언어 모델의 도움을 받아 소프트웨어로 모델링하는 연구를 하고자 합니다. 이렇게 소프트웨어로 변환된 개념들은 소프트웨어 테스팅 기법을 활용하여 문제점은 없는지 검증할 수 있을 것입니다.

• 자동 소프트웨어 취약점 분석 및 익스플로잇, 패치 생성: 버퍼 오버플로우 등의 소프트웨어 취약점은 소프트웨어 시스템에 심각한 보안 문제를 일으킬 수 있는 문제입니다. 기호 실행, 퍼즈 테스팅 등 고전적인 방법은 물론 언어 모델과 같은 최신 기술을 활용하여 소프트웨어 취약점을 자동으로 분석하고, 익스플로잇과 패치를 생성하는 연구를 하고자 합니다. 한편으로는 이러한 시스템을 구축하여, 이화여대 학생들이 CTF 대회에서 좋은 성적을 낼 수 있도록 지원하는 것도 목표입니다.

Q. 지원 자격은 어떻게 되나요?

• 대부분의 경우, 학부연구생은 최소 석사과정까지 계속해서 연구실에서 연구를 이어나갈 수 있는 학생을 선호합니다. 하지만, 다른 미래 계획(예: 타교 대학원 진학)을 가지고 있더라도 김수민 교수와 상담을 통해 연구실에서의 연구가 여러분의 미래 계획에 도움이 될 수 있다면, 언제든지 인턴십 지원을 하는 것이 좋습니다.

• 캡스톤 디자인 프로젝트의 연구 트랙으로 연구를 진행하는 것도 추천합니다.

• 타교 학부생 혹은 대학원생의 경우, 대학원 지원 최소 1학기 전에 김수민 교수와 상담하는 것을 권장합니다.

Q. 지원 방법은 어떻게 되나요?

관심이 있다면, 김수민 교수(soomink@ewha.ac.kr)에게 다음과 같은 정보를 담은 이메일을 보내주세요.

• CV (자유 형식)
• 성적 증명서
• 자기소개서: 연구실에 지원하는 이유를 간략하게 설명 (최대 1페이지, 선호하는 언어로 작성). 다음 내용을 포함해주세요:
  • 관심 있는 주제
  • 이전 연구 또는 프로젝트 경험 (있는 경우)
  • 미래 계획

Q. 언제부터 연구를 시작할 수 있나요?

• 면담을 통해 연구실에서 함께 연구하기로 결정했다면, 합의된 시점부터 연구를 시작할 수 있습니다. 학기 중이라도 빨리 시작하는 것을 권장하지만, 방학 중에 시작하는 것도 가능합니다.

Q. 어떤 방식으로 연구를 진행하나요?

• 연구는 주로 개별적으로 진행됩니다. 일주일에 최소 한 번 김수민 교수와 만나서 연구 진행 상황을 공유하고, 피드백을 받게 됩니다.

• 김수민 교수는 여러분들에게 어떻게 논문을 읽는지, 어떻게 연구를 진행하는지, 어떻게 코드를 작성하는지, 어떻게 논문을 작성하는지 등을 가르쳐줄 것입니다.

• 대략 처음 6개월 동안은 구체적인 연구를 진행하기보다는, 김수민 교수와 함께 연구에 필요한 기본적인 지식과 기술을 배우는 시간을 가질 것입니다. 이후에는 여러분들이 관심 있는 주제를 선택하여 연구를 진행하게 될 것입니다.

Q. 연구실에서 어떤 지원을 받을 수 있나요?

• 연구실에서는 여러분들이 연구에 집중할 수 있도록 다양한 지원을 제공하고자 합니다.

• SWEETS Lab은 아직 초기 단계에 있기 때문에, 현재로서 제공할 수 있는 물질적인 지원은 제한적입니다. 하지만 김수민 교수는 부족한 지원만큼 더 많은 시간과 노력을 투자하여 여러분들을 지원할 것입니다.

• 학부 연구생의 경우, 대략 6개월 정도의 수습 기간을 거친 후에는 연구실에서 소정의 연구 지원금을 제공하려고 합니다.