Cyber security and systems engineering researcher. Stacy works on **static analysis of compiled software**, **physics-based intrusion detection**, **quantum key methods**, and the security of **critical infrastructure**.
Visit [my ORNL page][sjp-ornl].
I'm teaching an automated binary analysis class at Tennessee Tech, on campus.
I spoke at "75 Years of Science: Lab Day at Oak Ridge National Laboratory" on Saturday, June 9, 2018, at ORNL.
I taught Computer Science 7575 on Electric Grid Security in the summer for Tennessee Tech... but on campus at ORNL!
__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]
__Associate Professor__ (Joint Appointment with ORNL) [Department of Electrical Engineering and Computer Science][eecs] [The University of Tennessee][utk]
__Associate Professor__ (Joint Appointment with ORNL) [Department of Computer Science][ttucs] [Tennessee Tech University][ttu]
__Associate Professor__ (Joint Appointment with ORNL) Medical College [Georgetown University][gu]
__[Verify]__ is a project to "provide a tool to verify the integrity of firmware used in energy delivery system devices, without taking the equipment offline." It is an ambitious collaboration among ORNL (prime), TDI Technologies, FoxGuard, EPRI, and Schneider Electric (to start).
# 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].
Computationally-intensive methods; malware detection, classification, and analysis; automated reverse engineering
Formal and rigorous methods; sequence-based specification and development; statistical testing; computational semantics; automated verification
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. / Ο μόνος τρόπος να βγούμε είναι να προχωρήσουμε / Единственный путь наружу это пройти через это