Fellow
United States – 2013
CITATION

For contributions to languages and systems that use information flow for implementing secure computing systems.