Stacy J. Prowell

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