Using Machine Language Model for Mimimorphic Malware Detection. - Pinghai Yuan; Qingkai Zeng 002; Yao Liu 011 (ISC, 2014)

Hardware-Assisted Fine-Grained Code-Reuse Attack Detection. - Pinghai Yuan; Qingkai Zeng 002; Xuhua Ding (RAID, 2015)

Optimizing TLB for Access Pattern Privacy Protection in Data Outsourcing. - Yao Liu 011; Qingkai Zeng 002; Pinghai Yuan (SecureComm, 2017)

NodeLeaper: Lower Overhead Oblivious AVL Tree. - Yao Liu 011; Qingkai Zeng 002; Pinghai Yuan (TrustCom/BigDataSE/ICESS, 2017)

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. - Shweta Shinde; Shengyi Wang; Pinghai Yuan; Aquinas Hobor; Abhik Roychoudhury; Prateek Saxena (CoRR, 2018)

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. - Shweta Shinde; Shengyi Wang; Pinghai Yuan; Aquinas Hobor; Abhik Roychoudhury; Prateek Saxena (USENIX Security Symposium, 2020)

Binary Compatibility For SGX Enclaves. - Shweta Shinde; Jinhua Cui 002; Satyaki Sen; Pinghai Yuan; Prateek Saxena (CoRR, 2020)

Impossible Differential Cryptanalysis on ESF Algorithm with Simplified MILP Model. - Xiaonian Wu; Jiaxu Yan; Lingchen Li; Runlian Zhang; Pinghai Yuan; Yujue Wang (KSII Trans. Internet Inf. Syst., 2021)

Extensible Virtual Call Integrity. - Yuancheng Jiang; Gregory J. Duck; Roland H. C. Yap; Zhenkai Liang; Pinghai Yuan (ESORICS (3), 2022)

Dynamic Binary Translation for SGX Enclaves. - Jinhua Cui 002; Shweta Shinde; Satyaki Sen; Prateek Saxena; Pinghai Yuan (ACM Trans. Priv. Secur., 2022)