Luddy Hall 3051W
700 N Woodlawn Avenue
Bloomington, IN, 47408
My research mainly focuses on system security, especially confidential computing, program verification, and leveraging programming language features to enhance security. I’m also interested in cloud security, programming languages, and neuroscience. Currently, I’m exploring GPU TEE and would like to work on security of BCI (Brain-Computer Interface) in the future.
Besides security research, I’m also interested in photography (check my Flickr), tennis, HIFI system, anime, as well as games board and video games. I have a public notebook for papers and ideas related to my research interest. If you can read Chinese, you’re welcome to check my blog in Chinese.
I’m open to opportunities in both academia and industry.
|Aug 23, 2023||My personal website is online now. I will keep updating it.|
|Aug 12, 2023||Our paper is presented at USENIX Security '23|
A Verified Confidential Computing as a Service Framework for Privacy PreservationIn 32nd USENIX Security Symposium (USENIX Security 23), 2023
Understanding TEE Containers, Easy to Use? Hard to TrustarXiv preprint arXiv:2109.01923, 2021
Practical and Efficient in-Enclave Verification of Privacy ComplianceIn 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021