PET source and documentation are available on Github

PET Graphical User Interface (PETGUI) available in ZIP format. The entire folder should be unzipped and used:


Version 2.6
PETGUI User Guide
Executable JAR with JRE
Samples

Doctoral Research - Committee Chair

Patrick Luckett, USA, graduation Summer 2018, Dissertation: Nonlinear Methods for Detection and Prediction of Epileptic Seizures (now with Washington University School of Medicine)

Ramya Manikyam, USA, graduation Fall 2019, Dissertation: Program Protection Using Software Based Hardware Abstraction (now with Moderna)

Dustin Mink, USA, graduation Fall 2019, Dissertation: Indicators of Compromise for the United States Federal Aviation Administration Next Generation Air Transportation System Automatic Dependent Surveillance-Broadcast (now with Leidos)

Colby Parker, USA, graduation Spring 2022, Dissertation: Adversarial Machine Learning for the Protection of Legitimate Software (now with Sandia Laboratory)

Maureen Van Devender, USA, graduation Spring 2023, Dissertation: Risk Assessment Framework for Automated Evaluation of Cybersecurity Threats and Vulnerabilities in Medical Devices

Naveen Pendli, USA, ABD, Dissertation: A Novel Blockchain Based Framework for Secure and Privacy Preserving E-governance System

Daniel Miller, USA, in progress, Topic area: forensic analysis of residual data in additive layer manufacturing

Reeve Cabral, USA, in progress, Topic area: hybrid malware detection approaches

Pawan Karki, USA, in progress, Topic area: machine learning applications for software vulnerability detection

Barbara Pilates, USA, in progress, Topic area: threat detection for ICS and SCADA based systems

Masters Research - Committee Chair

Dylan Johnson , USA, in progress, Topic area: Software vulnerability analysis in intermediate code representation

Amber Surles, USA, graduation Summer 2023, Thesis: Epileptic Seizure Classification Using Image-Based Data Representations

Shelby Caldwell, USA, graduation Spring 2023, Thesis: A Framework for Identifying Malware Threat Distribution on the Dark Web

Jamie Carambat, USA, graduation Spring 2023, Thesis: Evaluating Defensive Countermeasures for Software-Based Hardware Abstraction

Jennifer Parnell, USA, graduation December 2021, Thesis: Comparative Analysis of Digital Logic Component Hiding Techniques (now with Mayo Clinic)

Lee Miller, USA, graduation May 2021, Project: Runtime Analysis of Ransomwware on Android Operating Systems

Jackson Braswell, USA, graduation December 2020, Project: Framework for Analyzing Human Attackers Subverting Commercial Obfuscators (now with Institute for Defense Analysis)

Deepak Adhikari, USA, graduation May 2020, Thesis: A Toolbase for Evaluating Software Protection Techniques Against Symbolic Execution Attacks (now with ADHI)

James Bell, USA, graduation May 2020, Thesis: Program Protection against Symbolic Execution in x86 Executables (now with DHS-CISA)

Alex Mullins, USA, graduation May 2020, Thesis: Evaluating Security of Executable Steganography for Digital Software Watermarking (now with USAF)

Nathan Herron, USA, graduation May 2020, Thesis: Machine Learning Based Android Malware Detection using APK Digests (now with US Navy SPAWAR/NIWC)

Michael Dorsett, USA, graduation May 2020, Thesis: Forensic Analysis of Ransomware Malware (now with US Navy SPAWAR/NIWC)

Taylor Meckley, USA, graduation May 2019, Thesis: Residual Data Analysis on Consumer Market Smart Phones (now with MITRE)

Bronwyn Hodges, USA, graduation May 2019, Thesis: Attack Modeling and Mitigation Strategies for Risk Based Analysis of Networked Medical Devices (now with MITRE)

Adam Minor, USA, graduation May 2019, Thesis: Malware Detection and Program Feature Recognition Using Binary Visualization (now with Naval Research Lab )

Jordan Seaman, USA, graduation May 2019, Thesis: The Effect of Sold-State Drive Firmware Processes on Individual File Hashes (now with Pacific Northwest National Laboratory)

Sandy Falgout, USA, graduation December 2018, Project: Data Integration for Risk-Based Threat Vulnerability Asset Schema (now with US Navy SPAWAR)

Colby Parker, USA, graduation Summer 2018, Thesis: Android Malware Detection Using Step-Size Based Multi-Layered Vector Space Models (now SoC doctoral student)

Thanh Nguyen, USA, graduation May 2018, Thesis: Systematic Detection of Repackaged Applications by Dynamically Visualizing User Interface Components (now with Sandia National Laboratory)

Katherine Seale, USA, graduation May 2017, Thesis: Integrating Relational Data Frameworks Into Risk Assessment of Networked Medical Devices (now with MITRE)

Joel Dawson, USA, graduation May 2017, Thesis: Rootkit Detection Through Phase-Space System Call Timing and Power Analysis (now with Oak Ridge National Laboratory)

William Holder, USA, graduation May 2017, Thesis: Evaluating Optimal Phase Ordering in Obfuscation Executives (now with Air Force Research Lab)

Miles Forbes, USA, graduation May 2017, Thesis: Digital Logic Protection Using Functional Polymorphism and Topology Hiding (now with City of Mobile)

Ramya Manikyam, USA, graduation May 2016, Thesis: Comparing Effectiveness of Commercial Obfuscators against Man at the End Attacks (now SoC doctoral student)

Charles Hubbard, USA, graduation May 2015, Thesis: Data Collection for Cyber Anomaly Event Detection (now with Government Accountability Office)

James Cerkovnik, USA, graduation May 2015, Thesis: Assessing Vulnerabilities and Risks in Networked Medical Devices (now with Idaho National Laboratory)

Joshua Cazalas, USA, graduation May 2014, Thesis: Probing the Limits of Virtualized Software Protection (now with Boeing)

William Ashbee, USA, graduation December 2013, Thesis: Nonlinear Epilepsy Forewarning By Support Vector Machines (now with Eliassen Group)

Daniel Koranek, AFIT, graduation June 2010, Thesis: Deterministic, Efficient Variation of Circuit Components to Improve Resistance to Reverse Engineering (now with Air Force Research Lab)

James Parham, AFIT, graduation March 2010, Thesis: Deterministic Component Hiding Using Identification and Boundary Blurring Techniques (now with Dept of Homeland Security)

Sherry Murphy, AFIT, graduation March 2010, Thesis: Deceiving Adversary Network Scanning Efforts Using Host-Based Deception (now with U.S. Air Force)

Han-Seok Kim, AFIT, graduation March 2009, Thesis: Removing Redundant Logic Pathways in Polymorphic Circuits (Korean Air Force)

Jason Williams, AFIT, graduation March 2009, Thesis: Characterizing Component Hiding Using Ancestral Entropy (now with Air Force Research Lab)

Brad Sevy, AFIT, graduation March 2009, Thesis: Using Covert Means to Establish Cybercraft Command and Control (now with U.S. Air Force)

Eric Simonaire, AFIT, graduation December 2008, Thesis: Sub-Circuit Selection and Replacement Algorithms Modeled as Term Rewriting Systems (now with US Railroad Retirement Board)

Michael Hunsberger, AFIT, graduation June 2008, Thesis: Cybercraft Requirements Elicitation (now with U.S. Air Force)

Shannon Hunt, AFIT, graduation March 2008, Thesis: Developing a Reference Framework for Cybercraft Trust Evaluation (now with U.S. Air Force)

Alan Lin, AFIT, graduation March 2008, Thesis: Software Obfuscation with Symmetric Cryptography (now faculty member at A.F. Institute of Technology)

Moses James, AFIT, graduation March 2008, Thesis: Obfuscation Framework Based on Functionally Equivalent Combinatorial Logic Families (now with Google)

Ken Norman, AFIT, graduation March 2008, Thesis: Algorithms for White-box Obfuscation Using Randomized Subcircuit Selection and Replacement (now with U.S Air Force)

Undergraduate Honors Thesis - Committee Chair

Rebecca Clark, USA, in progress, Thesis: Side Channel Detection of PC Rootkits using Nonlinear Phase Space

Trinity Stroud, USA, graduation May 2021, Thesis: Developing a Deterministic Polymorphic Circuit Generator Using Random Boolean Logic Expansion

Undergraduate Research Projects

Rebecca Clark, 2021, USA, USA SURF Internship Summer 2021, Topic area: Power side-channel collection for PC-based malware detection

Amber Surles, 2019-2020, USA, Topic area: Cryptographic properties of Boolean logic functions

Jacob Cassity, 2018-2019, USA, Topic area: Software-based polymorphic functions for anti reverse-engineering

Jamie Carambat, 2019, USA, Topic area: Image-based analysis and detection of malware with machine learning

Michael Gambrell, 2019, USA, Topic area: Java-based implementation of open source circuit synthesis algorithms for KMAP reductions

Trinity Stroud, 2018-2019, USA, USA SURF Internship Summer 2019, Topic area: approximating random circuit selection using deterministic polymorphic generation

Abigail Brockman, 2019, USA, Topic area: nonlinear analysis for predictive forewarning of failures

Jennifer Parnell, 2019, USA, Topic area: analytic study of circuit variants against reverse engineering, nonlinear analysis of EKG for seizure prediction

Blair Doyle, 2017-2019, USA, USA SURF Internship Summer 2018, Topic area: Phase-space detection of rootkit execution using power side channels

Fernando Lorenzo, 2017-2019, USA, Topic area: side-channel exploitation of iPhones for unlock scenarios, characterizing side-channel properties of code diversity

Jesse Bryant, 2018, USA, Topic area: IoS Application for Nonlinear Phase-Based Seizure Prediction

Trevor Rayl, 2018, USA, Topic area: epileptic seizure prediction using phase-space dissimilarity of EKG

Alex Dudenhoeffer, 2017, USA, Topic area: vulnerability assessment of Tile Tracker

Ryan Creel, 2016-2017, USA, Topic area: executable steganography, BDD-based circuit analysis

An Vu, 2016-2017, USA, Topic area: evaluating circuit-based component identification and hiding

DeMarcus Williams, 2016-2017, USA, Topic area: Programmable Logic Controller (PLC) vulnerability analysis

Justin Raya, 2016, USA, Topic area: K-MAP implementation for the Program Encryption Toolkit (PET)

Joshua Polling, 2015-2016, USA, Topic area: reverse engineering malicious Android apps

Erick Roberson, 2015-2016, USA, Topic area: IoS vulnerability assessment and testing

Blake Blackwell, 2015, USA, Topic area: Java-based port of Boolean Expression Diagram library

Caleb Hall, 2014, USA, Topic area: Polymorphic gate implementation for the Program Encryption Toolkit (PET)

Andrew Edwards, 2014, USA, Topic area: IoS Prototype for Nonlinear Phase-Based Seizure Prediction

Sponsored Research