马福辰 · Fuchen Ma

Fuchen Ma马福辰

马福辰Fuchen Ma

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

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

I study system security and testing, and am now turning my attention to robotics. My current interests are robot security, the generation, collection and curation of robot data, and interoperability between different robots.我做系统安全与测试,最近把研究重心转向了机器人。接下来,我想研究机器人的安全与攻防、数据生成与收集筛选,以及不同机器人之间的互操作。

Sense. Generate. Collect. Select.感知、生成、收集与筛选。

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 work 过往研究

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 testing and security in blockchain and distributed systems. I now want to bring that experience to robotics. Please get in touch if you are interested in these questions.

过去,我主要研究区块链与分布式系统的测试和安全。接下来,我希望把这些经验带到机器人研究中。欢迎就这些问题与我交流。

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