Commander Michael Bilzor

Permanent Military Professor

Computer Science Department, U.S. Naval Academy

Courses

• SI411 - Operating Systems (Fall AY2013)
• SI420 - Artificial Intelligence (Fall AY2013)
• IT486G - Cyber Defense Operations (Spring AY2013)

Background

• Ph.D., Computer Science, U.S. Naval Postgraduate School, December 2011.
• M.S., Computer Science, Johns Hopkins University, May 1993.
• B.S., Computer Science, U.S. Naval Academy, May 1992.

I served as a Naval Flight Officer in F-14s and F/A-18s from 1995-2005, including WestPac deployments on USS Kitty Hawk, Carl Vinson, Constellation and Abraham Lincoln.

F/A-18F (VFA-2) and F-14D (VF-2), 2003

Research Interests

My primary research interest is in analyzing high-level processor designs (HDL files) for adherence to security-relevant properties, and searching for Hardware Trojans in processor designs. I'm also interested in Cyber Warfare, and am currently serving as Officer Representative to the USNA CDX team.

Publications

• Bilzor, M.; Huffmire, T.; Irvine, C.; Levin, T., “Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage,” Hardware-Oriented Security and Trust (HOST), 2012 IEEE International Symposium on, p.49-54, June 2012.
• Bilzor, M.; Huffmire, T.; Irvine, C.; Levin, T., “Security Checkers: Detecting processor malicious inclusions at runtime,” Hardware-Oriented Security and Trust (HOST), 2011 IEEE International Symposium on, p.34-39, June 2011.
• Bilzor, M., “3D Execution Monitor (3D-EM): Using 3D Circuits to Detect Hardware Malicious Inclusions in General Purpose Processors ,” International Conference on Information Warfare (ICIW '11), Washington, D. C., March, 2011.

Contact Information

E-mail

bilzor@usna.edu

Mail

Phone

Fax

Back to USNA Computer Science Department home page