cv

Curriculum vitae.

General Information

Full Name Dionna Amalie Glaze
Date of Birth 20th July 1987
Languages English, Japanese

Education

  • 2015
    PhD
    Northeastern University, Boston, MA
    • {"title"=>"Automating the Abstract Interpretation of Abstract Machines"}
  • 2009
    Bachelor's Degree of Science in Computer Science
    University of Texas at Austin
  • 2009
    Bachelor's Degree of Science in Pure Mathematics
    University of Texas at Austin

Experience

  • 2025 - Now
    Staff Software Engineer
    Apple, Inc.
    • Private Cloud Compute attestation services for Apple silicon.
  • 2021 - 2025
    Senior Software Engineer
    Google LLC
    • Lead the virtual firmware code signing and transparency project.
    • Active in IETF standards definitions for code reference values in RATS framework.
    • Mentor junior and peer developers in writing, influence, and task management.
  • 2017 - 2021
    Software Engineer
    Google LLC
    • Developed confidential computing support for sandboxing.
    • Maintained the toolchain for the Asylo.dev project.

Open Source Projects

  • 2022 - Now
    go-sev-guest
    • A safe interface for AMD SEV-SNP guest device interaction, and verification and validation logic for use by verifier roles.
  • 2023 - Now
    go-configfs-tsm
    • A safe interface for Linux TEE Security Module (TSM) interactions.

Academic Interests

  • Software analysis and formal methods
  • Cryptographic protocol verification

Other Interests

  • Hobbies: Hosting dinner parties, reading, writing, chess, board games, video games, cooking.