Pinghai Yuan

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 9

Top Topics

Attack Detection

Binary Representation

Mathematical Proofs

Top Venues

USENIX Security Symposium

Publications

Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan
Extensible Virtual Call Integrity. ESORICS (3) (2022)
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
Dynamic Binary Translation for SGX Enclaves. ACM Trans. Priv. Secur. 25 (4) (2022)
Xiaonian Wu, Jiaxu Yan, Lingchen Li, Runlian Zhang, Pinghai Yuan, Yujue Wang
Impossible Differential Cryptanalysis on ESF Algorithm with Simplified MILP Model. KSII Trans. Internet Inf. Syst. 15 (10) (2021)
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
Dynamic Binary Translation for SGX Enclaves. CoRR (2021)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. USENIX Security Symposium (2020)
Shweta Shinde, Jinhua Cui, Satyaki Sen, Pinghai Yuan, Prateek Saxena
Binary Compatibility For SGX Enclaves. CoRR (2020)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR (2018)
Yao Liu, Qingkai Zeng, Pinghai Yuan
Optimizing TLB for Access Pattern Privacy Protection in Data Outsourcing. SecureComm (2017)
Yao Liu, Qingkai Zeng, Pinghai Yuan
NodeLeaper: Lower Overhead Oblivious AVL Tree. TrustCom/BigDataSE/ICESS (2017)
Pinghai Yuan, Qingkai Zeng, Xuhua Ding
Hardware-Assisted Fine-Grained Code-Reuse Attack Detection. RAID (2015)
Pinghai Yuan, Qingkai Zeng, Yao Liu
Using Machine Language Model for Mimimorphic Malware Detection. ISC (2014)