Corey Hartman

Principal Computer Scientist at Dakota State University

San Antonio, Texas, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Corey Hartman is a vulnerability researcher and reverse engineer with eight years of experience uncovering zero-day flaws and producing proof-of-concept exploits across embedded, mobile, and cloud systems. Based in San Antonio, he balances hands-on offensive research at Kudu Dynamics with teaching reverse engineering and vulnerability research at Dakota State University while completing a PhD in Cyber Operations. His engineering background spans full SDLC software development in Python, C/C++, Java, Go and building tooling — fuzzers, Ghidra scripts, and binary analysis utilities — that accelerate vulnerability discovery. A published IEEE author and repeat Black Hat and DEF CON speaker, he brings both academic rigor and practical exploit development to real-world security challenges. Notably, his career started in the Air Force managing PKI and secure systems, informing his deep operational understanding of secure infrastructure. He combines research-grade analysis with production software experience to turn complex reverse-engineering problems into actionable security findings.
code8 years of coding experience
job5 years of employment as a software developer
bookMaster of Science - MS Computer Science, Master of Science - MS Computer Science at Lewis University
bookAssociate of Science - AS Information Technology, Associate of Science - AS Information Technology at Community College of the Air Force
bookBachelor of Science - BS Software Development, Bachelor of Science - BS Software Development at Western Governors University
bookDoctor of Philosophy - PhD Cyber Operations, Doctor of Philosophy - PhD Cyber Operations at Dakota State University
languagesEnglish
github-logo-circle

Github Skills (90)

ghidra10
grammars10
antlr10
java10
customisation10
sre10
rxjava10
reverse-engineering10
nlp-machine-learning9
json-parser9
deserialization9
asynchronous9
android-development9
json-serializer9
reactive-streams9

Programming languages (10)

JavaCSSRustANTLRMesonJavaScriptGoHTML

Github contributions (5)

github-logo-circle
Xenios91/Glyph

Apr 2022 - Nov 2022

An architecture independent binary analysis tool for fingerprinting functions through NLP
Contributions:3 releases, 110 commits, 11 PRs in 7 months
fingerprintingnatural-language-processingbinary-analysiselfelf-binaries
Xenios91/BinCorp-Generator

Jun 2022 - Mar 2026

Analyzes binary executables and can generate a test corpus for defined instruction paths, each discovered function, or it can generate a test corpus to reach every basic block detected in non library/shared object parts of the bin's text section.
Contributions:2 releases, 10 PRs, 32 pushes in 3 years 9 months
shared-librarybinary-analysisreachshared-objectbin
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial