Research

Automatically finding the reusable helper functions hiding in a codebase. Leroy spots repeated patterns in ordinary imperative programs (like Python) and turns them into shared library functions, making code smaller and easier to maintain.

Making secure non-volatile memory both fast and chip-frugal. By nesting a small "tree within a tree" for the integrity bookkeeping, it survives power loss, cuts runtime cost by ~41%, and uses far less precious on-chip space than prior designs.

Secure memory needs a lot of bookkeeping that wastes space. Baobab remembers (memoizes) frequently repeated counters in a small on-chip table, shrinking that storage overhead by 2–4× — with no performance penalty.

Keeping data private even when the software is compromised: a small trusted hardware unit computes directly on encrypted data and never lets the plaintext leave it, so attackers who break the software still can't read your secrets — at near-normal speed.

A common yardstick for privacy technology. It's a suite of standardized test programs that lets researchers fairly compare different systems that compute on encrypted data — making it clear which approach is faster or more capable, today and in the future.