S3 Lab - Software & Systems Security Laboratory

대학원생 모집 (en/ko)

The University of Texas at Dallas (UT Dallas)소프트웨어 & 시스템 보안 연구소 (S3 Lab)에서 함께 연구할 역량있는 대학원 (박사, 석사, 또는 석박통합)과정 지원자를 모집합니다. 저희 연구그룹은 아래 분야의 보안 연구에 중점을 두고 있습니다:

  • Robotic Vehicle Control Systems (Drones) – RetroV
  • Autonomous Driving SystemsAutoInsight
  • Machine Learning Systems (Cloud and Edge Platforms for Machine Learning) – AI Vault
  • IoT Devices and Industrial Control SystemsPeriShield, RetroFirm, Trusted Things
  • Modern Operating Systems (Linux/Windows Systems, Virtual Machines, Hypervisors) – CLUE, CAFE, Shear
저희 그룹에서는 다음의 연구 기술을 이용하여 실용적인 보안 분석 툴을 작성하고 안전한 시스템을 연구 및 개발하는데 기여하고 있습니다.
  • Static Program Analysis: LLVM, GCC, Assembly/Machine Code (Intel x84/64, ARM)
  • Dynamic Program Analysis and Testing: QEMU, Pin, Valgrind, Fuzzing (AFL, LibFuzzer), Symbolic Execution (KLEE, S2E)
  • Binary Reverse Engineering and Instrumentation: IDA, OllyDbg, ImmDbg, Detours, DynamoRIO, Dyninst
  • Operating System Tracing: Linux Audit, Windows ETW, SystemTap, DTrace, eBPF, kprobes
  • Hardware Assistance for Security: Trusted Execution Environments (Intel SGX, AMD SEV, ARM TrustZone), Memory Protection (MMU, MPU, Intel MPX), Execution Tracing and Debugging (Intel PT, ARM ETM, JTAG)
  • Hardware Architecture and Security: Verilog, FPGA, Device IO (MMIO, DMA, GPIO), Hardware Vulnerabilities (Rowhammer, Spectre, Meltdown)
  • Control Systems: PID Controller, Drone Control Systems (ArduPilot, PX4), Autonomous Driving Systems (Autoware, Baidu Apollo), ROS, PLC Programming
  • Excellent Technical Writing Skills in English

위와 같은 연구를 기반으로 저희 그룹은 USENIX Security, NDSS와 같은 보안 분야 최고 권위 학회에 논문을 발표하고 있으며 모든 프로젝트를 오픈소스로 공개할 예정입니다.

자격이 주어진 학생에게는 학비 면제와 더불어 충분한 생활비연구 활동비가 제공됩니다.

언급된 연구 기술 또는 관련 분야에 전문성을 갖추고 있는 지원자는 이 페이지를 통해 지원서를 작성해 주시기 바랍니다.

연구 및 생활 환경

저희 연구그룹이 소속된 UT Dallas Computer Science 학과는 53명의 연구 교수진을 필두로 매우 활발한 연구를 진행하고 있으며, 특히 최근 10년동안 다양한 분야에서 최고 수준의 연구 성과를 보이고 있습니다 (2021년 기준 CSRankings.org 보안 분야 34위).

UT Dallas는 뛰어난 연구 환경과 더불어 대도시인 텍사스 달라스 근교 (DFW 지역)에 위치하고있어 주거 환경 역시 매우 뛰어납니다.

  • 미국에서 단시간에 가장 빠르게 순위를 높이고 있는 연구중심 주립대학 중 하나입니다 (2020년 Chronicle 집계 2위).
  • 대부분의 박사과정 학생들이 입학부터 TA/RA지원으로 학비를 면제받으며, 충분한 생활비 및 연구 활동비를 지원 받습니다.
  • 한인 타운이 15분거리에 있고 가까운 DFW 공항에는 대한항공 등 한국행 직항이 있어 한국 학생들이 생활하기에 큰 불편함이 없습니다.
  • 편의시설이 많은 대도시임에도 물가가 저렴하고 아이들이 다닐 공립학교가 잘 되어 있어 가족분들이 지내시기 좋습니다.

학과 지원 정보: https://cs.utdallas.edu/admissions