How You Get Shot in the Back: A Systematical Study about Cryptojacking in the Real World. - Geng Hong; Zhemin Yang; Sen Yang 011; Lei Zhang 096; Yuhong Nan; Zhibo Zhang 006; Min Yang 002; Yuan Zhang 009; Zhiyun Qian; Hai-Xin Duan (CCS, 2018)

App in the Middle: Demystify Application Virtualization in Android and its Security Threats. - Lei Zhang 096; Zhemin Yang; Yuyu He 001; Mingqi Li; Sen Yang 011; Min Yang 002; Yuan Zhang 009; Zhiyun Qian (SIGMETRICS (Abstracts), 2019)

Analyzing Ground-Truth Data of Mobile Gambling Scams. - Geng Hong; Zhemin Yang; Sen Yang 011; Xiaojing Liao; Xiaolin Du; Min Yang 002; Haixin Duan (SP, 2022)

SoK: MEV Countermeasures: Theory and Practice. - Sen Yang 011; Fan Zhang 022; Ken Huang; Xi Chen 010; Youwei Yang; Feng Zhu 023 (CoRR, 2022)

Coverage-guided tensor compiler fuzzing with joint IR-pass mutation. - Jiawei Liu 004; Yuxiang Wei 003; Sen Yang 011; Yinlin Deng; Lingming Zhang 001 (Proc. ACM Program. Lang., 2022)

MISO: Legacy-compatible Privacy-preserving Single Sign-on using Trusted Execution Environments. - Rongwu Xu; Sen Yang 011; Fan Zhang 022; Zhixuan Fang (EuroS&P, 2023)

SoK: MEV Countermeasures. - Sen Yang 011; Fan Zhang 022; Ken Huang; Xi Chen 010; Youwei Yang; Feng Zhu 023 (DeFi@CCS, 2024)

AGORA: Open More and Trust Less in Binary Verification Service. - Hongbo Chen; Quan Zhou; Sen Yang 011; Xing Han; Fan Zhang 019; Danfeng Zhang; XiaoFeng Wang 001 (CoRR, 2024)

RediSwap: MEV Redistribution Mechanism for CFMMs. - Mengqian Zhang; Sen Yang 011; Fan Zhang (CoRR, 2024)

Decentralization of Ethereum's Builder Market. - Sen Yang 011; Kartik Nayak; Fan Zhang 022 (SP, 2025)

Agora: Trust Less and Open More in Verification for Confidential Computing. - Hongbo Chen; Quan Zhou; Sen Yang 011; Sixuan Dang; Xing Han; Danfeng Zhang; Fan Zhang 019; Xiaofeng Wang 006 (Proc. ACM Program. Lang., 2025)

Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts. - Sen Yang 011; Kaihua Qin; Aviv Yaish; Fan Zhang 022 (CoRR, 2025)

Artifact for Paper "Agora: Trust Less and Open More in Verification for Confidential Computing" in OOPSLA 2025. - Hongbo Chen; Quan Zhou; Sen Yang 011; Sixuan Dang; Xing Han; Danfeng Zhang; Fan Zhang 022; XiaoFeng Wang 001 (Zenodo, 2025)

Designing Ethereum's Geographical (De)Centralization Beyond the Atlantic. - Sen Yang 011; Burak Öz; Fei Wu 030; Fan Zhang 022 (CoRR, 2025)

Lifefin: Escaping Mempool Explosions in DAG-based BFT. - Jianting Zhang; Sen Yang 011; Alberto Sonnino; Sebastián Loza; Aniket Kate (CoRR, 2025)

Boost+: Equitable, Incentive-Compatible Block Building. - Mengqian Zhang; Sen Yang 011; Kartik Nayak; Fan Zhang 022 (CoRR, 2026)

Your Loss is My Gain: Low Stake Attacks on Liquid Staking Pools. - Sen Yang 011; Aviv Yaish; Arthur Gervais; Fan Zhang 022 (CoRR, 2026)

Geographical Centralization Resilience in Ethereum's Block-Building Paradigms. - Sen Yang 011; Burak Öz; Fei Wu 030; Fan Zhang 022 (Proc. ACM Meas. Anal. Comput. Syst., 2026)