Cheng Tan

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 9

Top Topics

Information Discovery

Top Venues

Publications

Jian Zhang, Cheng Tan
Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking. PaPoC@EuroSys (2024)
Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen
Encrypted Databases Made Secure Yet Maintainable. OSDI (2023)
Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen
Bringing Decentralized Search to Decentralized Services. OSDI (2021)
Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
Cobra: Making Transactional Key-Value Stores Verifiably Serializable. OSDI (2020)
Yubin Xia, Qingyuan Liu, Cheng Tan, Jing Leng, Shangning Xu, Binyu Zang, Haibo Chen
Taming Distrust in the Decentralized Internet with PIXIU. CoRR (2019)
Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
Detecting Incorrect Behavior of Cloud Databases as an Outsider. CoRR (2019)
Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. SOSP (2017)
Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. CoRR (2017)
Yubin Xia, Yutao Liu, Cheng Tan, Mingyang Ma, Haibing Guan, Binyu Zang, Haibo Chen
: eliminating confidential mobile data exposure with security oriented offloading. EuroSys (2015)
Cheng Tan, Haibo Li, Yubin Xia, Binyu Zang, Cheng-Kang Chu, Tieyan Li
PreCrime to the rescue: defeating mobile malware one-step ahead. APSys (2014)
Cheng Tan, Yubin Xia, Haibo Chen, Binyu Zang
TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization. DSN Workshops (2012)