Commander Michael Bilzor
Permanent Military Professor
Computer Science Department, U.S. Naval Academy
- SI411 - Operating Systems, Fall AY2013
- IT486G - Cyber Defense Operations, Spring AY2013
- SI110 - Introduction to Cyber Security, Fall AY2014
- SI420 - Artificial Intelligence, Fall AY2014 (USNA internal only)
- 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
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.
- 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.
CDR Michael Bilzor
Computer Science Department, Stop 9F
572M Holloway Road
United States Naval Academy
Annapolis, Maryland 21402
Back to USNA Computer Science
Department home page