• Embedding Algebraic Specifications in HOL. Presented at TPHOLs99, The 12th International Conference on Theorem Proving in Higher Order Logics, Nice, France, September 14-17, 1999
• Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol. Presented at FM'99 World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999.
• High Confidence Design for Security, Communications of the ACM, July 1999.
• Formal Development of Secure Email. Presented in the Hawaii International Conference on System Sciences, Techniques for Secure Systems Development, Island of Maui, January 5 - 8, 1999.
• Integrating Security into the Curriculum, IEEE Computer, December 1998.
• An Instruction-Set Process Calculus. Presented in the Formal Methods in Computer Aided Design Conference (FMCAD98), November 4-6, 1998, Palo Alto, CA. HOL90 proof files for IspCal.
• Highly Assured Computer Engineering. Position paper presented to National Research Council's sub-committee on Information Trustworthiness. February 5-6, 1997.
• High Confidence Technology . White paper responding to the Committee on Information and Communications, National Science and Technology Council, Strategic Information Plan, America in the Age of Information.

Extending VLSI Design with Higher-Order Logic, presented at ICCD'95.

Home