Verifiable and Redactable Medical Documents. - Jordan Brown; Douglas M. Blough (AMIA, 2012)

Distributed Enforcement of Sticky Policies with Flexible Trust. - Jordan Brown; Douglas M. Blough (HPCC/CSS/ICESS, 2015)

STORM: Refinement Types for Secure Web Applications. - Nico Lehmann; Rose Kunkel; Jordan Brown; Jean Yang 001; Niki Vazou; Nadia Polikarpova; Deian Stefan; Ranjit Jhala (OSDI, 2021)