Chengyan Ma

Identifiers

• name variant Chengyan Ma 0.60 · backfill

Papers (2)

1. Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching cs.SE · 2026 · author #1
2. Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution cs.SE · 2026 · author #1

Mentions

• 2605.22087 #1 · arxiv_oai · confidence 0.70 Chengyan Ma
• 2605.22058 #1 · arxiv_oai · confidence 0.70 Chengyan Ma

Frequent Coauthors

• David Lo 2 shared papers
• Jieke Shi 2 shared papers
• Ruidong Han 2 shared papers
• Ye Liu 2 shared papers
• Yuqing Niu 2 shared papers
• Feng Li 1 shared papers