Stacy J. Prowell

According to our database, Stacy J. Prowell authored at least 28 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Toward Profiling IoT Processes for Remote Service Attestation.

William A. Johnson, John Housley, Sheikh K. Ghafoor, Stacy J. Prowell

Proceedings of the 23rd International Symposium on Parallel and Distributed Computing, 2024

2022

Shifting Left for Machine Learning: An Empirical Study of Security Weaknesses in Supervised Learning-based Projects.

Farzana Ahamed Bhuiyan, Stacy J. Prowell, Hossain Shahriar, Fan Wu, Akond Rahman

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

A Taxonomy and Review of Remote Attestation Schemes in Embedded Systems.

William A. Johnson, Sheikh K. Ghafoor, Stacy J. Prowell

IEEE Access, 2021

2019

Use of Thermistor Temperature Sensors for Cyber-Physical System Security.

Carson Labrado, Himanshu Thapliyal, Stacy J. Prowell, P. Teja Kuruganti

Sensors, 2019

Emerging Paradigms in Vehicular Cybersecurity.

Himanshu Thapliyal, Saraju P. Mohanty, Stacy J. Prowell

IEEE Consumer Electron. Mag., 2019

2018

Towards Malware Detection via CPU Power Consumption: Data Collection Design and Analytics (Extended Version).

Robert A. Bridges, Jarilyn M. Hernández Jiménez, Jeffrey Nichols, Katerina Goseva-Popstojanova, Stacy J. Prowell

CoRR, 2018

Towards Malware Detection via CPU Power Consumption: Data Collection Design and Analytics.

Robert A. Bridges, Jarilyn Hernández Jiménez, Jeffrey Nichols, Katerina Goseva-Popstojanova, Stacy J. Prowell

Proceedings of the 17th IEEE International Conference On Trust, 2018

Tools, Techniques, and Methodologies: A Survey of Digital Forensics for SCADA Systems.

Rima Asmar Awad, Saeed Beztchi, Jared M. Smith, J. Bryan Lyles, Stacy J. Prowell

Proceedings of the 4th Annual Industrial Control System Security Workshop, 2018

2017

Malware Detection on General-Purpose Computers Using Power Consumption Monitoring: A Proof of Concept and Case Study.

Jarilyn M. Hernández Jiménez, Jeffrey A. Nichols, Katerina Goseva-Popstojanova, Stacy J. Prowell, Robert A. Bridges

CoRR, 2017

Modeling inter-signal arrival times for accurate detection of CAN bus signal injection attacks: a data-driven approach to in-vehicle intrusion detection.

Michael Roy Moore, Robert A. Bridges, Frank L. Combs, Michael S. Starr, Stacy J. Prowell

Proceedings of the 12th Annual Conference on Cyber and Information Security Research, 2017

2015

Phase-Space Detection of Cyber Events.

Jarilyn M. Hernández, Aaron E. Ferber, Stacy J. Prowell, Lee M. Hively

Proceedings of the 10th Annual Cyber and Information Security Research Conference, 2015

2013

Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration.

Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre, T. Scott Ankrum

Proceedings of the Cyber Security and Information Intelligence, 2013

Developing a power measurement framework for cyber defense.

Jarilyn M. Hernández, Line Pouchard, Jeffrey Todd McDonald, Stacy J. Prowell

Proceedings of the Cyber Security and Information Intelligence, 2013

2012

Automated vulnerability detection for compiled smart grid software.

Stacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

Automated Behavior Computation for Software Analysis and Validation.

Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2011

Behavior computation for smart grid software analysis.

Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

2010

An axiom system for sequence-based specification.

Lan Lin, Stacy J. Prowell, Jesse H. Poore

Theor. Comput. Sci., 2010

2009

The impact of requirements changes on specifications and state machines.

Lan Lin, Stacy J. Prowell, Jesse H. Poore

Softw. Pract. Exp., 2009

Computing the behavior of malicious code with function extraction technology.

Richard C. Linger, Stacy J. Prowell, Kirk Sayre

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

2007

A Semantic Recognizer Infrastructure for Computing Loop Behavior.

Ali Mili, Tim Daly, Mark G. Pleszkoch, Stacy J. Prowell

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2005

Position Statement: Methodology to Support Dependable Survivable Cyber-Secure Infrastructures.

Frederick T. Sheldon, Stephen Gordon Batsell, Stacy J. Prowell, Michael A. Langston

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Using Markov Chain Usage Models to Test Complex Systems.

Stacy J. Prowell

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

2004

Computing system reliability using Markov chain usage models.

Stacy J. Prowell, Jesse H. Poore

J. Syst. Softw., 2004

A Cost-Benefit Stopping Criterion for Statistical Testing.

Stacy J. Prowell

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

2003

Foundations of Sequence-Based Software Specification.

Stacy J. Prowell, Jesse H. Poore

IEEE Trans. Software Eng., 2003

JUMBL: A Tool for Model-Based Statistical Testing.

Stacy J. Prowell

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2000

TML: a description language for Markov chain usage models.

Stacy J. Prowell

Inf. Softw. Technol., 2000

1998

Sequence-Based Software Specification of Deterministic Systems.

Stacy J. Prowell, Jesse H. Poore

Softw. Pract. Exp., 1998