publications

2024

  1. security_modeling_preview.png
    Formal Trust and Threat Modeling Using Large Language Models
    Zhihao Yao
    Accepted to Workshop on AI for Cyber Threat Intelligence (WAITI), 2024
  2. Artificial-Intelligence Generated Code Considered Harmful: A Road Map for Secure and High-Quality Code Generation
    Chun Jie Chong, Zhihao Yao, and Iulian Neamtiu
    Technical Report 2024-09-27, NJIT, 2024
    HTML PDF
  3. Casper: Prompt Sanitization for Protecting User Privacy in Web-Based Large Language Models
    Chun Jie Chong, Chenxi Hou, Zhihao Yao, and 1 more author
    Technical Report 2024-08-13, NJIT, 2024
    HTML PDF
  4. hora_preview.jpg
    Hora: High Assurance Periodic Availability Guarantee for Life-Critical Applications on Smartphones
    Dylan Zueck, Nathaniel Atallah, Ian Do, and 2 more authors
    In Proc. ACM APSys, 2024
    HTML PDF
  5. provcam_preview.png
    ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos
    Yuxin Liu, Zhihao Yao, Mingyi Chen, and 3 more authors
    In Proc. ACM MobiCom, 2024
    HTML PDF Software Hardware
  6. streamguard_preview.jpg
    Poster: StreamGuard: Enabling Secure and Uncensored Video Calls on Mobile Devices
    Chenxi Hou, Zhihao Yao, and Hui Peng
    In Proc. ACM MobiSys Poster, 2024
    HTML PDF

2023

  1. octopos_preview.jpg
    Minimizing a Smartphone’s TCB for Security-Critical Programs with Exclusively-Used, Physically-Isolated, Statically-Partitioned Hardware
    Zhihao Yao, Seyed Mohammadjavad Seyed Talebi, Mingyi Chen, and 2 more authors
    In Proc. ACM MobiSys, 2023 🏆Best Artifact Award
    HTML PDF Artifact Archive Technical Manual Software Hardware
  2. gleefuzz_preview.jpg
    GLeeFuzz: Fuzzing WebGL Through Error Message Guided Mutation
    Hui Peng, Zhihao Yao, Ardalan Amiri Sani, and 2 more authors
    In Proc. USENIX Security Symposium, 2023
    HTML PDF Code Slides
  3. AI_energy_preview.jpg
    A real-time electrical load forecasting and unsupervised anomaly detection framework
    Xinlin Wang, Zhihao Yao, and Marios Papaefthymiou
    Applied Energy, 2023
    HTML
  4. thesis_preview.png
    Building secure systems across all layers
    Zhihao Yao
    Doctoral thesis, University of California, Irvine, 2023
    HTML PDF

2021

  1. hecaton_preview.jpg
    Undo Workarounds for Kernel Bugs
    Seyed Mohammadjavad Seyed Talebi, Zhihao Yao, Ardalan Amiri Sani, and 2 more authors
    In Proc. USENIX Security Symposium, 2021
    HTML PDF Code Slides

2018

  1. sugar_thumbnail.jpg
    Sugar: Secure GPU Acceleration in Web Browsers
    Zhihao Yao, Zongheng Ma, Yingtong Liu, and 2 more authors
    In Proc. ACM ASPLOS, 2018
    HTML PDF Supp Code Slides
  2. milkomeda_preview.jpg
    Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks
    Zhihao Yao, Saeed Mirzamohammadi, Ardalan Amiri Sani, and 1 more author
    In Proc. ACM CCS, 2018
    HTML PDF Blog Code