Fellow
United States – 2008
CITATION

For contributions to computer security and verification of computer systems.