Yuyan Bao

Assistant Professor

Yuyan Bao

Assistant Professor

Academic Appointment(s)

School of Computer and Cyber Sciences
Department of Computer & Cyber Sciences


  • Ph.D., Computer Science. University of Central Florida, 2017

  • ME, Computer Software Engineering Beihang University, 2007

  • BE, Computer Science. Beijing University, 2003

Courses Taught Most Recent Academic Year

  • AIST 3610

    System Analysis & Design


Selected Recent Publications

  • Bounded Model Checking for LLVM, 2022
    Conference Proceeding
  • Cache Refinement Type for Side-Channel Detection of Cryptographic Software, 2022
    Conference Proceeding
  • Demystifying Binary Lifters Through the Lens of Downstream Applications, 2022
    Journal Article, Academic Journal
  • Verifying verified code, 2022
    Journal Article, Academic Journal
  • HACCLE: Metaprogramming for Secure Multi-Party Computation, 2021
    Conference Proceeding

Department Service

  • Faculty Search Committee 2022 - Present

    Role: Committee Member

Professional Service

  • Computer Software and Media Applications 2023 - Present

    Role: Editor, Journal Editor