EDUCATION:

• Ph.D., Computer Science: Naval Postgraduate School, 2008
• M.S., Computer Science: Naval Postgraduate School, 1995
• B.S., Computer Science: U.S. Naval Academy, 1986

• My PhD genealogy dating to 1666.

RESEARCH INTERESTS:

• Cyber operations
• Secure system modeling
• High assurance systems
• Data science
• Cloud computing

CURRENT TEACHING:

• CY3650 - Foundations in Data Science
• CY4710 - Adversarial Cyberspace Operations
• CS3040 - Low-Level Programming I
• CS3150 - Design and Analysis of Algorithms
• CS3101 - Theory of Formal Languages and Automata
• CS3600 - Introduction to Computer Security

SELECT PUBLICATIONS: Google Scholar listing

• R Benito, A Shaffer, G Singh (2023). An Automated Post-Exploitation Model for Cyber Red Teaming. Proceedings of the 18th International Conference on Cyber Warfare and Security (ICCWS-18).
• M Petersen, A Shaffer, C Prince, G Singh (2022). A digital twin system for replaying cyber mission data. Proceedings of the 2022 Resilience Week (RWS-22).
• J Berrios, A Shaffer, G Singh (2021). Web CARTT: the web-based cyber automated red team tool. Proceedings of the 16th International Conference on Cyber Warfare and Security (ICCWS-16).
• C Norine, A Shaffer, G Singh (2021). Artifact mitigation in high-fidelity hypervisors. Proceedings of the 54th Hawaii International Conference on System Sciences (HICSS-54).
• C Prince, A Shaffer, G Singh (2021). Automated Cyber Operations Data Mission Replay. Technical Report, Naval Postgraduate School, Monterey CA.
• C Norine, A Shaffer, G Singh (2020). CARTT: Cyber automated red team tool. Proceedings of the 53th Hawaii International Conference on System Sciences (HICSS-53).

THESES:

• Shaffer, Alan (2008). An Application of Alloy to Static Analysis for Secure Information Flow and Verification of Software Systems. Doctoral Dissertation, Naval Postgraduate School, December 2008.
• Shaffer, Alan (1995). Integration of Hypermedia Capability into NPSNET IV.8, a Large-Scale Real-Time Distributed Simulation System. Masters Thesis, Naval Postgraduate School, September 1995.

P-3C "Orion" aircraft from VP-31 at NAS Moffett Field, CA, flying formation over the Golden Gate Bridge.