Welcome! 欢迎!

Welcome to Haofan Zheng's Personal Website!

About Me

I am currently a graduate (Ph.D.) student majoring in Computer Science at University of California, Santa Cruz. And, my field of interest is System Security. My current research is focusing on designing a framework that helps developers building secure distributed applications with enclaves. Additionally, I am also interested in learning cutting-edge technologies and great new ideas in the computer science field.

Previously, I graduated from West Virginia University (WVU) and received the Bachelor’s degree (summa cum laude) in Computer Science from WVU.

In terms of programming skills, I have a lot of experience in C++/C programming. In my recent research project, I wrote a framework API and two sample applications in C++. They are open-source in GitHub. Additionally, I have been coding in Java, Python, and the Web (HTML, CSS, PHP, JavaScript).


Experiences - Academia

Decent Enclave Framework

Graduate Student Researcher 2017 - present

My current research is focusing on a framework that helps developers building secure distributed applications with enclaves.

In a recent work, our frameworks presents a self-attestation protocol backed by standard RA to improve the scalability of the RA protocol. The load-time Authorized List enables mutual attestation between two different enclaves, so that only authorized enclave can interact with the system. Runtime modification to the set of authorized enclaves is enabled by Verifiers and revokers.

Currently the framework is implemented on top of Intel's SGX platform. Additionally, we also built the DecentRide (a prototype of ride-sharing application) to evaluate the expressiveness of Decent framework, and the DecentHT (a DHT key-value store) to evaluate the performance of Decent Framework.

A related talk is given at OSEW'19. Video recording is available at https://www.youtube.com/watch?v=ZF9BbnoJptM.

Teaching Assistance - Advanced Programming

Teaching Assistance 2017 - 2017

Advanced Programming is a C++ programming course designed for C programmers. It discusses the difference between C and C++ and the advanced features available in C++. This course also gives students hands-on experience to program various well-known algorithms in C++, such as Minimax, Alpha-Beta, and Monte Carlo.

As a TA, my responsibilities are holding discussion sections, holding office hours, grading homework, and proctoring exams.


software Engineer, Undergraduate Research Assistance 2015 - 2017

I have been working as an undergraduate research assistance of the Auditory Development and Connectomics Laboratory of the Blanchette Rockefeller Neurosciences Institute of WVU, and of the Vision Laboratory of the Statler Collage of WVU. I was one of the first engineers to join the project called syGlass.

syGlass is scientific virtual reality viewer, which uses head mounted displays like HTC Vive or Oculus Rift to view the microscopy images in 3D, and performs some very handy scientific measurements.

I wrote numerous modules on graphics, controls, multiplayer, VR, voice recognition with the Sphinx, etc.

More details about syGlass is available at https://www.syglass.io/, and a related paper is available at https://arxiv.org/pdf/1804.08197.pdf


Experiences - Industry


software Engineer - Internship 2020 - 2020

I have been researching and developing for the Remote Attestation (RA) of TEE applications, specifically, SEV (Secure Encrypted Virtualization) applications. During research and development, I had the chance to explore RA and Secure Boot with SEV, Linux kernel, QEMU, and OVMF.


Interests and Passions

Besides studying and doing research, I also have many hobbies, such as cooking, biking, traveling, and photographing.

The background pictures you see here are all taken by me.


Contact me

© Haofan Zheng 2019

Powered by HTML 5 & CSS 3 and HTML5 UP