• Proof of Being Forgotten: Verified Privacy Protection in Confidential Computing Platform, Open Confidential Computing Conference 2022 [video, pdf]
  • Teaclave: Making Computation on Privacy-Sensitive Data Safe and Simple, OC3 2021 & ApacheCon 2021 & ApacheCon Asia 2021 [video, link]
  • Teaclave: A Universal Secure Computing Platform, ApacheCon @ Home 2020 [pdf]
  • Teaclave: A Universal Secure Computing Platform, 2nd SGX Community Workshop, July 2020 [pdf]
  • Bringing Memory-Safety to Keystone Enclave, Open-Source Enclaves Workshop (OSEW 2019), Berkeley, July, 2019 [link, pdf]
  • Rust OP-TEE TrustZone SDK, RustCon Asia (Workshop), Beijing, April 2019 [link, pdf]
  • Linux From Scratch in Rust, RustCon Asia, Beijing, April 2019 [link, pdf]
  • Building Safe and Secure Systems in Rust, RustRush, Moscow, December 2018 [pdf]
  • Building Safe and Secure Systems in Rust: Challenges, Lessons Learned, and Open Questions, Northeastern University, Boston, October 2018 [pdf]
  • Rust, Memory-Safety, and Beyond, Shanghai Jiao Tong University, G.O.S.S.I.P Summer School, July 2018 [pdf, link]
  • When Memory-Safe Languages Become Unsafe, DEF CON China, May 2018 [link]
  • MesaLock Linux: Towards A Memory-Safe Linux Distribution, G.O.S.S.I.P Summer School, Shanghai Jiao Tong University, 2017/2018 [pdf, link]
  • MesaLock Linux: A Memory-Safe Linux Distribution, University of Science and Technology of China, December 2017
  • TaintART: A Practical Multi-level Information-Flow Tracking System for Android RunTime, Network and Information Security Protection Summit 2016 (XDef 2016), September 2016 [link]