Pinghai Yuan

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