대학원생 모집
(en/cn/ko)
The University of Texas at Dallas (UT Dallas)의
소프트웨어 & 시스템 보안 연구소 (S3 Lab)에서
함께 연구할 역량있는 대학원(박사 또는 석박통합)과정 지원자를 모집합니다.
저희 연구그룹은 아래 분야의 보안 연구에 중점을 두고 있습니다:
-
Robotic Vehicle Control Systems (Drones) –
RetroV
-
Autonomous Driving Systems –
AutoInsight
-
Machine Learning Systems
(Cloud and Edge Platforms for Machine Learning) –
AI Vault
-
IoT Devices and Industrial Control Systems –
PeriShield,
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, CCS, NDSS와
같은 보안 분야 최고 권위 학회에
논문을 발표하고 있으며
모든 프로젝트를 오픈소스로 공개할 예정입니다.
자격이 주어진 학생에게는 학비 면제와 더불어
충분한 생활비와 연구 활동비가 제공됩니다.
언급된 연구 기술 또는 관련 분야에 전문성을 갖추고 있는 지원자는
이 페이지를 통해 지원서를 작성해 주시기 바랍니다.
|