马福辰 · Fuchen Ma

Fuchen Ma马福辰

马福辰Fuchen Ma

Postdoctoral researcher · Shuimu Scholar博士后 · 水木学者

School of Software, Tsinghua University清华大学 · 软件学院

My research focuses on robot security, the generation, collection and curation of robot data, and interoperable systems for heterogeneous robots. My previous work focused on system security and testing.我的研究主要关注机器人安全与攻防、机器人数据的生成、收集与筛选,以及异构机器人的互操作系统。此前主要从事系统安全与测试研究。

Robot data generation, collection and curation.机器人数据的生成、采集与筛选。

Latest news 最新动态

All updates 全部动态

Our paper “USEC: A User-Requirement-Driven Mandatory Access Control Framework for Operating Systems” has been conditionally accepted to OSDI 2026.

论文 “USEC: A User-Requirement-Driven Mandatory Access Control Framework for Operating Systems” 获 OSDI 2026 有条件录用。

I will serve on the CCS 2026 Cycle B program committee.

将担任 CCS 2026 Cycle B 程序委员会委员。

Selected publications 代表性论文

All publications 完整论文列表

Selected papers on system security and testing. Click a figure for a closer look. 系统安全与测试方向的部分研究成果。点击配图可查看论文原图。

  1. USEC security interface workflow, Figure 6 from the original paper. Fig. 6 · View figure查看大图 ↗

    OSDI ’26

    USEC: A User-Requirement-Driven Mandatory Access Control Framework for Operating Systems (Operational Systems)

    Yu Jiang, Wenhuan Liu, Fuchen Ma*, Yuheng Shen, Yuanliang Chen, Lei Zhang, He Li, Quan Zhang, Chijin Zhou

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    Uses resource-centric policy templates, demand-driven permission checks and LSM-compatible interfaces to simplify Linux mandatory access control.通过面向资源的策略模板、按需权限检查与兼容 LSM 的接口,简化 Linux 内核的强制访问控制。

  2. Dualfuzz overall workflow, Figure 5 from the original paper. Fig. 5 · View figure查看大图 ↗

    ASE ’25 · Distinguished Paper Award

    DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing

    Yuanliang Chen, Fuchen Ma*, Yanyang Zhao, Yuanyi Li, Yu Jiang

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    Models interactions between Wi-Fi transmission and reception, then uses latency feedback to guide coordinated fuzzing.建模 Wi-Fi 网卡发送与接收过程的相互影响,利用时延反馈指导双向协同测试。

  3. Horcrux overall workflow, Figure 3 from the original paper. Fig. 3 · View figure查看大图 ↗

    USENIX Security ’25

    Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Operation Modeling

    Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Zhen Yan, Hao Sun, Yu Jiang

    Models relationships between cross-node file operations and uses temporary inconsistency duration to guide testing.建模跨节点文件操作之间的关系,以临时不一致的持续时间指导测试,发现元数据一致性问题。

  4. Chronos overall workflow, Figure 4 from the original paper. Fig. 4 · View figure查看大图 ↗

    S&P ’24

    Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay

    Yuanliang Chen, Fuchen Ma (co-first author), Yuanhang Zhou, Ming Gu, Qing Liao, Yu Jiang

    Combines runtime delay injection, deep-priority search and transient delays to find timeout bugs in distributed systems.结合运行时延迟注入、深度优先级搜索与瞬态延迟,发现分布式系统的超时处理缺陷。

Talks 学术演讲

Villain in the Dark Forest: Fuzzing and Chaos Testing for Blockchain Systems

Academic service学术服务

PROGRAM COMMITTEES程序委员会委员

  • ESEC/FSE 2027
  • CCS 2026
  • ICST 2026
  • EuroSys · Shadow PC 2026

JOURNAL REVIEWER期刊审稿人

IEEE TSE · IEEE TDSC · ACM TOSEM

Honors & awards荣誉与奖励

  • Excellent Doctoral Dissertation, China Institute of Electronics中国电子学会优秀博士学位论文
  • First Prize, Beijing Science and Technology Progress Award, 2024 (4/15)2024 年北京市科学技术进步奖一等奖 (排名 4/15)
  • First Prize, CCF Technology Invention Award, 2024 (3/6)2024 年中国计算机学会(CCF)技术发明奖一等奖 (排名 3/6)
  • Outstanding Graduate of Beijing, 2024 · National Scholarship, 20232024 年北京市优秀毕业生 · 2023 年国家奖学金
  • FISCO BCOS MVP of the Year · Tencent Elite Talent, 20212021 年 FISCO BCOS 年度 MVP · 腾讯精英人才

Background & contact教育背景与联系方式

I received my Ph.D. from Tsinghua University in 2024, advised by Prof. Jiaguang Sun and Prof. Yu Jiang, and my bachelor’s degree from Beijing University of Posts and Telecommunications in 2019.

2024 年于清华大学获得博士学位,导师为孙家广教授和姜宇教授;2019 年于北京邮电大学获得学士学位。

My earlier research focused on security testing for blockchain and distributed systems. My current work extends this research to robotic systems. I welcome academic discussions and collaborations on robot security, data and interoperability.

我的前期研究聚焦区块链与分布式系统的安全测试,目前主要面向机器人系统开展相关研究。欢迎围绕机器人安全、数据与互操作开展学术交流与合作。

11-308, East-Main Building · School of Software, Tsinghua University清华大学软件学院 · 东主楼 11-308