John McHugh has been involved in trusted systems development for over 15
years. He has been involved in the design of a number of secure systems
including the Verdix Secure LAN (for which he is currently revising the
security policy), TX (a B3 certifiable X window system), the Ford
Aerospace trusted file server, and others. He has developed a number of
formally based code analysis tools including the Gypsy optimizer and the
Gypsy covert channel analysis tool. He recently completed an ARPA funded
SBIR contract on compilation checking for assuring correct code and is
currently involved in the development of secure Gigabit networks with
MCNC under ARPA funding.