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

TEACHING:

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

SELECT PUBLICATIONS: Google Scholar listing

• Aybar, L., Singh, G., and Shaffer, A. (2018). Developing Simulated Cyber-Attack Scenarios Against Virtualized Adversary Networks. Proceedings of the 13th International Conference on Cyber Warfare and Security (ICCWS-18), March 2018, Washington, DC, USA. ACPI, Ltd.
• Shaffer, A., Auguston, M., Irvine, C., and Levin, T. (2008). A Security Domain Model for Static Analysis and Verification of Software Systems, Manuscript submitted for publication to Computers and Security Journal special issue on "Software Engineering for Secure Systems."
• Shaffer, A., Auguston, M., Irvine, C. and Levin, T. (2008). A Security Domain Model for Implementing Trusted Subject Behaviors. Proceedings of the 2008 Modeling Security Workshop (MODELS'08), September 2008, Toulouse, France.
• Shaffer, A. (2008). A Security Domain Model for Static Analysis and Verification of Software Programs. Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), July 2008, Redwood City, California.
• Shaffer, A., Auguston, M., Irvine, C. and Levin, T. (2008). A Security Domain Model to Assess Software for Exploitable Covert Channels. Proceedings of the ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS'08), June 2008, Tucson, Arizona. ACM Press.
• Shaffer, A., Auguston, M., Irvine, C. and Levin, T. (2007). Toward a Security Domain Model for Static Analysis and Verification of Information Systems. Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling (DSM'07), October 2007, Montreal, Canada.

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.