著作论文 – 可信系统安全实验室

[ CCS'23 ]

Jiali Xu, Mengyao Xie, Chenggang Wu, Yinqian Zhang, Qijing Li, Xuan Huang, Yuanming Lai, Yan Kang, Wei Wang, Qiang Wei, Zhe Wang

PANIC: PAN-assisted Intra-process Memory Isolation on ARM

ACM Conference on Computer and Communications SecurityCopenhagen, Denmark, 26-30 NOV., 2023.

[ Security'23 ]

Shixuan Zhao, Pinshen Xu, Guoxing Chen, Mengya Zhang, Yinqian Zhang, Zhiqiang Lin

Reusable Enclaves for Confidential Serverless Computing

USENIX Security Symposium, Anaheim, CA, USA, August 9–11, 2023.

[ ISCA'23 ]

Moein Ghaniyoun, Kristin Barber, Yuan Xiao, Yinqian Zhang, Radu Teodorescu

TEESec: Pre-Silicon Vulnerability Discovery for Trusted Execution Environments

International Symposium on Computer Architecture, Orlando, FL, USA， June 17–21, 2023.

[ Security'23 ]

Zhiyuan Sun, Xiapu Luo, Yinqian Zhang

Panda: Security Analysis of Algorand Smart Contracts

USENIX Security Symposium, Anaheim, CA, USA, August 9–11, 2023.

[ Security'23 ]

Sanchuan Chen, Zhiqiang Lin, Yinqian Zhang

Controlled Data Races in Enclaves: Attacks and Detection

USENIX Security Symposium, Anaheim, CA, USA, August 9–11, 2023.

[ Security'23 ]

Sen Deng, Mengyuan Li, Yining Tang, Shuai Wang, Shoumeng Yan, Yinqian Zhang

CipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations

USENIX Security Symposium, Anaheim, CA, USA, August 9–11, 2023.

[ TDSC ]

Chenggang Wu, Mengyao Xie, Zhe Wang, Yinqian Zhang, Kangjie Lu, Xiaofeng Zhang, Yuanming Lai, Yan Kang, Min Yang, Tao Li

Dancing with Wolves: An Intra-process Isolation Technique with Privileged Hardware

Transactions on Dependable and Secure Computing, 2022.

[ TDSC ]

Guoxing Chen, Yinqian Zhang

Securing TEEs with Verifiable Execution Contracts

Transactions on Dependable and Secure Computing, 2022.

[ CCS'22 ]

Jianyu Niu, Wei Peng, Xiaokuan Zhang, Yinqian Zhang

Narrator: Secure and Practical State Continuity for Trusted Execution in the Cloud

ACM Conference on Computer and Communications Security (CCS) , Los Angeles, USA, Nov. 2022.

[ CCS'22 ]

Weili Wang, Sen Deng, Jianyu Niu, Michael K. Reiter, Yinqian Zhang

ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes

ACM Conference on Computer and Communications Security (CCS) , Los Angeles, USA, Nov. 2022.

代表性论文