Automated Markov-chain based analysis for large state spaces. - Kaitlin N. Smith; Michael A. Taylor 001; Anna A. Carroll; Theodore W. Manikas; Mitchell A. Thornton (SysCon, 2017)

Task Value Calculus: Multi-Objective Trade off Analysis Using Multiple-Valued Decision Diagrams. - Tyler Giallanza; Erik Gabrielsen; Michael A. Taylor 001; Eric C. Larson; Mitchell A. Thornton (ISMVL, 2019)

Industrial Control System Anomaly Detection Using Convolutional Neural Network Consensus. - Aviraj Sinha; Michael A. Taylor 001; Nathan Srirama; Theodore W. Manikas; Eric C. Larson; Mitchell A. Thornton (CCTA, 2021)

Rapid Ransomware Detection through Side Channel Exploitation. - Michael A. Taylor 001; Eric C. Larson; Mitchell A. Thornton (CSR, 2021)

Side Channel Identification using Granger Time Series Clustering with Applications to Control Systems. - Matthew Lee 017; Joshua Sylvester; Sunjoli Aggarwal; Aviraj Sinha; Michael A. Taylor 001; Nathan Srirama; Eric C. Larson; Mitchell A. Thornton (ICISSP, 2022)

General Process Detection Through Physical Side Channel Characterization. - Michael A. Taylor 001; Eric C. Larson; Mitchell A. Thornton (SysCon, 2022)