Cyber security and systems engineering researcher. Stacy works on **static analysis of compiled software**, **physics-based intrusion detection**, and the security of **critical infrastructure**.
I'm teaching an automated binary analysis class at Tennessee Tech, on campus.
__Chief Cybersecurity Research Scientist__ [Computational Sciences and Engineering Division][csed] [Oak Ridge National Laboratory][ornl]
__Program Manager__, Cybersecurity for Energy Delivery Systems (CEDS) [Sustainable Electricity Program][sep] [Oak Ridge National Laboratory][ornl]
__Adjunct Professor__ (Joint Appointment with ORNL) [Department of Electrical Engineering and Computer Science][eecs] [The University of Tennessee][utk]
__Adjunct Professor__ (Joint Appointment with ORNL) [Department of Computer Science][ttucs] [Tennessee Tech University][ttu]
__Adjunct Professor__ (Joint Appointment with ORNL) Medical College [Georgetown University][gu]
__[Verify]__ will develop a tool to verify the integrity of software at runtime in energy delivery system devices, without taking the equipment offline.
The **Black Box** provides a secure environment for mixing data from mutually untrusted sources.
**Acronym** applies machine learning to rapidly develop a digital twin of a complex system.
**M3LID** applies multimodal machine learning to detect adverse cyber events.
# Open Source
__[Elision]__ is a term rewriter written in Scala. Terms and types are unified (all types are terms, and vice-versa) allowing for creating some very elaborate type systems - or no type system at all. See Relision, below, for what the future might hold.
__[Pico]__ is a platform for safely working with malware. The Pico encoding is used to store files, and is open source. It's used at ORNL and a few other places.
__[Relision]__ is a project for liberating Elision from Scala with a lot of improvements, including some cleanup and simplification of the "mathy" parts. Ah, math. Current targets are C++ and Rust.
__[SPSPS]__ is a parsing, string, and JSON library written in plain C99 for an embedded project.
__[HE4]__ is a fast, pure C hash table implementation with a fixed memory footprint written for an embedded project.
Incomplete bibliographies abound. Look [here (dblp3)][dblp3] for one, or maybe [here (dblp-trier)][dblp-trier].
I am an [IEEE Distinguished Lecturer][ieee-dl].
I am a [Certified Scrum Master][csm].
My [CV] is available, if you're looking for that. Ask me for an updated version, just in case. I'm distributing it as a [PDF].
Do you need a photo and bio for some reason? [You can find both here][sjp-bio].
This web page was created using [Markdown] and [Strapdown].
I don't play video games, but if I did, you could find me on [Steam][steam].
My Erdős number is 3.
[One Bethel Valley Rd, PO Box 2008, MS-6418, Oak Ridge, TN 37831-6418][ornl-geo]
[+1 (865) 241-8874][voice]
[+1 (865) 576-5943][fax]
Most days you can find me in room 205, building 6012, ORNL main campus.
The only way out is through. / Le seul moyen de sortir est de passer à travers. / Der einzige Weg raus ist durch. / Solum autem per exitum. / Ο μόνος τρόπος να βγούμε είναι να προχωρήσουμε / Единственный путь наружу это пройти через это