Security Research Group
University of Virginia
A Language for Extensible Data‑Oblivious Computation