| BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. | 0 | 0.34 | 2018 |
| Optimizing TLB for Access Pattern Privacy Protection in Data Outsourcing. | 0 | 0.34 | 2017 |
| NodeLeaper: Lower Overhead Oblivious AVL Tree | 0 | 0.34 | 2017 |
| Hardware-Assisted Fine-Grained Code-Reuse Attack Detection. | 9 | 0.51 | 2015 |
| Using Machine Language Model for Mimimorphic Malware Detection. | 0 | 0.34 | 2014 |
