|
招生
(en/cn/ko)
S3 实验室目前正在有偿招募 合格
的博士生，
从事与以下软件系统的安全性和可靠性相关的研究工作：
-
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) 发表过研究论文，
并将开源所有项目。
合格的学生将获得学费资助和有竞争力的薪水,
足以在没有外部支持的情况下在该地区生活。
如果您在一项或多项研究技能方面具有 专业知识，
并愿意 参与我们小组的研发项目，请填写此表格。
请填写
此表格.
|
