Dionna Amalie Glaze

I’m a software engineer and computer science researcher. I’ve worked on programming languages, computer-aided theorem proving, databases, confidential computing (virtualization), distributed systems, and computer graphics. I live in Seattle, Washington and currently work for Google Cloud.

My main current project is providing source-to-binary cryptographically verifiable claims that the software you’re connecting to is exactly the software you expect to be connecting to. The software supply chain problem doesn’t end at deliverying binary artifacts-those artifacts must have endorsements of build security and software provenance that are checkable at runtime. The IETF RATS (RFC9334) framework discusses the concepts. I’m making sure that enterprise-managed software can be made transparent to the end user, and doing so in all cases I can.

Research interests

I love when reasoning and software combine at the linguistic level. When there are problems to solve in a domain, I develop languages to express the solution as well as logical frameworks for reasoning about their correctness. Concretely, recently I’ve been exploring the connection between code reference value representations as profiles and satisfiability modulo theories (SMT). The assertions we express about our software in an extensible representation can have theoretical interpretations that cross-pollinate for shared understanding. A language of profiles doesn’t exist yet, but we may yet see them as remote attestation verification services seek to expand their expressiveness.

Professional interests

I’m looking to relocate to the twin cities in Minnesota, and Google hasn’t approved my transition to remote work. If you have connections to folks looking for a computer security professional in the area, please have them reach out.