Linux 基础工具与安全

重写 Linux 基础工具,对照历史漏洞和补丁,研究输入边界、路径权限和资源处理中的错误。

密码学

研究密码算法的数学结构、安全假设与实现,也探索迷宫和图结构能否带来新的加密或混淆思路。

Paxos 与区块链

从 Paxos 和区块链研究分布式系统的数学基础,关注共识、故障假设,以及协议在什么条件下能够保持一致并继续运行。

二进制保护

以 UPX 和 VMProtect 为研究对象,比较可执行文件压缩、代码变换与虚拟化,作为自研二进制保护工具的基础。

离线物理仿真

用离线物理仿真表现真实的接触与形变,研究材料参数、数值方法和画面效果。