Stacy J. Prowell

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 10

Top Topics

Remote Attestation

Malware Detection

Power Consumption

Legacy Software

Top Venues

TrustCom/BigDataSE

Publications

Farzana Ahamed Bhuiyan, Stacy J. Prowell, Hossain Shahriar, Fan Wu, Akond Rahman
Shifting Left for Machine Learning: An Empirical Study of Security Weaknesses in Supervised Learning-based Projects. COMPSAC (2022)
William A. Johnson, Sheikh K. Ghafoor, Stacy J. Prowell
A Taxonomy and Review of Remote Attestation Schemes in Embedded Systems. IEEE Access 9 (2021)
Himanshu Thapliyal, Saraju P. Mohanty, Stacy J. Prowell
Emerging Paradigms in Vehicular Cybersecurity. IEEE Consumer Electron. Mag. 8 (6) (2019)
Carson Labrado, Himanshu Thapliyal, Stacy J. Prowell, P. Teja Kuruganti
Use of Thermistor Temperature Sensors for Cyber-Physical System Security. Sensors 19 (18) (2019)
Robert A. Bridges, Jarilyn M. Hernández Jiménez, Jeffrey Nichols, Katerina Goseva-Popstojanova, Stacy J. Prowell
Towards Malware Detection via CPU Power Consumption: Data Collection Design and Analytics (Extended Version). CoRR (2018)
Robert A. Bridges, Jarilyn Hernández Jiménez, Jeffrey Nichols, Katerina Goseva-Popstojanova, Stacy J. Prowell
Towards Malware Detection via CPU Power Consumption: Data Collection Design and Analytics. TrustCom/BigDataSE (2018)
Rima Asmar Awad, Saeed Beztchi, Jared M. Smith, J. Bryan Lyles, Stacy J. Prowell
Tools, Techniques, and Methodologies: A Survey of Digital Forensics for SCADA Systems. ICSS (2018)
Michael Roy Moore, Robert A. Bridges, Frank L. Combs, Michael S. Starr, Stacy J. Prowell
Modeling inter-signal arrival times for accurate detection of CAN bus signal injection attacks: a data-driven approach to in-vehicle intrusion detection. CISRC (2017)
Jarilyn M. Hernández Jiménez, Jeffrey A. Nichols, Katerina Goseva-Popstojanova, Stacy J. Prowell, Robert A. Bridges
Malware Detection on General-Purpose Computers Using Power Consumption Monitoring: A Proof of Concept and Case Study. CoRR (2017)
Jarilyn M. Hernández, Aaron E. Ferber, Stacy J. Prowell, Lee M. Hively
Phase-Space Detection of Cyber Events. CISR (2015)
Jarilyn M. Hernández, Line Pouchard, Jeffrey Todd McDonald, Stacy J. Prowell
Developing a power measurement framework for cyber defense. CSIIRW (2013)
Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre, T. Scott Ankrum
Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration. CSIIRW (2013)
Stacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger
Automated vulnerability detection for compiled smart grid software. ISGT (2012)
Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns
Automated Behavior Computation for Software Analysis and Validation. HICSS (2012)
Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre
Behavior computation for smart grid software analysis. CSIIRW (2011)
Lan Lin, Stacy J. Prowell, Jesse H. Poore
An axiom system for sequence-based specification. Theor. Comput. Sci. 411 (2) (2010)
Lan Lin, Stacy J. Prowell, Jesse H. Poore
The impact of requirements changes on specifications and state machines. Softw. Pract. Exp. 39 (6) (2009)
Richard C. Linger, Stacy J. Prowell, Kirk Sayre
Computing the behavior of malicious code with function extraction technology. CSIIRW (2009)
Ali Mili, Tim Daly, Mark G. Pleszkoch, Stacy J. Prowell
A Semantic Recognizer Infrastructure for Computing Loop Behavior. HICSS (2007)
Frederick T. Sheldon, Stephen Gordon Batsell, Stacy J. Prowell, Michael A. Langston
Position Statement: Methodology to Support Dependable Survivable Cyber-Secure Infrastructures. HICSS (2005)
Stacy J. Prowell
Using Markov Chain Usage Models to Test Complex Systems. HICSS (2005)
Stacy J. Prowell, Jesse H. Poore
Computing system reliability using Markov chain usage models. J. Syst. Softw. 73 (2004)
Stacy J. Prowell
A Cost-Benefit Stopping Criterion for Statistical Testing. HICSS (2004)
Stacy J. Prowell
JUMBL: A Tool for Model-Based Statistical Testing. HICSS (2003)
Stacy J. Prowell, Jesse H. Poore
Foundations of Sequence-Based Software Specification. IEEE Trans. Software Eng. 29 (5) (2003)
Stacy J. Prowell
TML: a description language for Markov chain usage models. Inf. Softw. Technol. 42 (12) (2000)
Stacy J. Prowell, Jesse H. Poore
Sequence-Based Software Specification of Deterministic Systems. Softw. Pract. Exp. 28 (3) (1998)