펜실베니아 주립대 보안 분야 학생 모집

펜실베니아 주립대에서 함께 컴퓨터 보안 연구를 하실 박사(또는 석박통합)과정 학생들을 모집합니다.

제 연구 분야및 연락 정보는 다음과 같습니다.
- 연구분야: 소프트웨어 보안, 임베디드 시스템보안, 사이버물리 시스템 보안 (e.g., 드론, 자율주행 자동차 보안. 대부분 소프트웨어 보안 기술과 접목함), 시스템 보안 (e.g., 커널 퍼징 혹은 TEE (제 동료가 특히 많이 하는 분야)), 프로토콜 보안 (e.g., 프로토콜 퍼징)
- 교수 홈페이지: https://tgkim.gitlab.io
- 이메일: tgkim@psu.edu

연구 결과는 IEEE S&P, USENIX Security, NDSS, MobiSys, SenSys, ASE등 주로 탑티어 학회에 출판해왔으며, 주로 LLVM 컴파일러나 바이너리 단에서 프로그램 분석을 하며, 특정 시스템을 타겟으로 하는 경우 (e.g., 드론, 커널 혹은 임베디드 시스템 (e.g., USB 커널 디바이스 드라이버), DNN 모델) 해당 시스템 모델에 특화된 프로그램 분석 기술을 만들어서 새로운 보안 문제를 찾거나 해결하는 식으로 연구를 진행합니다.

보안 백그라운드가 있으신 분을 우대하나, 보안 백그라운드가 없어도 시스템이나 프로그램 분석 (e.g., LLVM 컴파일러 기반 프로그램 분석)쪽으로 경험 있으신분도 환영합니다.

같이 연구하기로 결정날 시 대학원생들에게는 학비와 생활비가 제공되며 현재 뽑는 최소 인원은 박사 5명이고 외국인 신임 교수와 같이 펀딩써서 지도 할생각입니다. 자세한건 연락 주시면 안내해드리겠습니다. 봄학기도 지원 받는데, 그런 경우는 가능한 빨리 저한테 꼭 먼저 연락주세요.

학부 인턴은 뽑을려고는 하고 있으나 상황이 애매해서 어떻게 뽑을지 정한 상태는 아닙니다. 원하신다면 일단 연락을 주세요. 저희는 학부 인턴도 충분히 잘한다면 탑티어 논문 1저자를 드리고 있습니다.

그리고 연락하실때 저한테 CV와 학부/석사 동안 들으신 수업 목록을 보내주시면 감사하겠습니다.

10/7 업데이트: 현재 학부인턴을 내년 2월부터 최소 4개월 (2월 ~ 5월) 최대 1년간 뽑기로 결정한 상태입니다. 관심있으시면 연락주세요.
10/24 업데이트: 인턴 모집은 마감입니다.
10/27 업데이트: 석사 문의가 좀 있는데, 석사는 제가 봄/가을학기 생활비만 지원 가능합니다.
11/30 업데이트: 석사 지원하시는 분은 필히 컨택해주세요. 작년 경험으로 미루어보아 제가 못볼 확률이 높습니다.