Welcome! 欢迎!

Welcome to Haofan Zheng's Personal Website!

About Me

I am currently a Ph.D. candidate in Computer Science at University of California, Santa Cruz. And, my field of interest is trusted computing. 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).

Next

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 Fall, 2017
Advanced Programming Spring, 2021
Programming Abstractions: Python Spring, 2022

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.

syGlass

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

Next

Experiences - Industry

Facebook

software Engineer Intern Summer, 2021

I have been designing and implementing the Remote Attestation (RA) process for Intel SGX (Icelake) application and AMD SEV (Secure Encrypted Virtualization) virtual machines. I have worked on patches of Linux kernel and SEV-tool for SEV host and guest, and patches for Intel DCAP library.

ByteDance

software Engineer Intern Summer, 2020

I have been researching and developing the Remote Attestation (RA) process for AMD SEV (Secure Encrypted Virtualization) virtual machines. I have implemented patches of Secure Boot, Linux kernel, QEMU, and OVMF for SEV host and guest.

Next

Publications

Papers

Talks

Tech Reports

Next

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.








Next

Contact me

© Haofan Zheng 2021

Powered by HTML 5 & CSS 3 and HTML5 UP

-