马福辰 · 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.我做系统安全与测试，最近把研究重心转向了机器人。接下来，我想研究机器人的安全与攻防、数据生成与收集筛选，以及不同机器人之间的互操作。

fuchenma525@gmail.com Curriculum vitae 个人简历
Sense. Generate. Collect. Select.感知、生成、收集与筛选。

Latest news 最新动态

All updates 全部动态
SPEAKING演讲入选

My Briefings submission has been accepted to Black Hat Europe 2026, where I will be speaking.

我的 Briefings 演讲已入选 Black Hat Europe 2026，我将作为讲者参会。

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. 以下是我在系统安全与测试方面的部分工作。点击图可以查看原图。

  5. 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.结合运行时延迟注入、深度优先级搜索与瞬态延迟，发现分布式系统的超时处理缺陷。

    Read paper阅读论文 ↗
  6. Loki overall workflow, Figure 4 from the original paper. Fig. 4 · View figure查看大图 ↗

    NDSS ’23

    LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols.

    Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun

    Joins the system as a node, tracks consensus states and generates messages to test consensus protocol implementations.作为节点加入系统，跟踪共识状态并生成测试消息，发现共识协议实现中的内存与逻辑缺陷。

    Read paper阅读论文 ↗

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