# positions[].organizations[].label
Institute for Engineering Education and Innovation

# positions[].organizations[].parent[].label
Texas A&M Engineering Experiment Station (TEES)

# overview
I am interested in identification of software vulnerabilities, using formal methods to create software with security properties, and computer security/computer science education.

# keywords[]
Networking And Information Technology R&d (nitrd)

# keywords[]
Machine Learning And Artificial Intelligence

# keywords[]
Networking And Information Technology R&d (nitrd)

# keywords[]
Machine Learning And Artificial Intelligence

# keywords[]
"strategic Manipulation, Propaganda, And Fake News"

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
16 Peace, Justice And Strong Institutions

# keywords[]
Networking And Information Technology R&d (nitrd)

# keywords[]
Machine Learning And Artificial Intelligence

# educationAndTraining[].organization.label
Princeton University - (Princeton, New Jersey, United States)

# educationAndTraining[].organization.label
University of Delaware - (Newark, Delaware, United States)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Software caching and computation migration in Olden

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Integrating Ada 2005 into visual studio 2005

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Automatic OO parser generation using visitors for Ada 2005

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Using You Tube to enhance student class preparation in an introductory Java course

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
An automatic object-oriented parser generator for Ada

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Weaving Ada 95 into the .net environment

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
A Performance Analysis of the Spring Protocol through Simulation

# publications[].publisher
Society for Computer Simulation International

# publications[].label
Heuristic Malware Detection via Basic Block Comparison

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
IRONSIDES: DNS With No Single-Packet Denial of Service or Remote Code Execution Vulnerabilities

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Defining, Integrating, and Assessing a Purposeful Progression of Cross-Curricular Initiatives into a Computer Science Program

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Raptor: A Visual Programming Environment for Teaching Object-Oriented Programming

# publications[].publisher
Consortium for Computing Sciences in Colleges

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
An automatic "visitor" generator for ada

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
CARDINAL: Similarity Analysis to Defeat Malware Compiler Variations

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Toward a more effective visualization tool to teach novice programmers

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Automated Load Balancing of a Missile Defense Simulation Using Domain Knowledge

# publications[].label
C/C++ Vulnerability Data Set Generation Framework using a Parser and LLM

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Software caching and computation migration in Olden

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Integrating Ada 2005 into visual studio 2005

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Tools for teaching introductory programming

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
AdaGIDE: a friendly introductory programming environment for a freshman computer science course

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Software Caching and Computation Migration in Olden

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Design and Use of a Secure Testing Environment on Untrusted Hardware

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Safely redistributing untrusted code using .NET

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Unkeyed jam resistance 300 times faster: The Inchworm hash

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
A truly implementation independent GUI development tool

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
CARDINAL: Similarity Analysis to Defeat Malware Compiler Variations

# publications[].label
A truly implementation independent GUI development tool

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Multilanguage programming with ada in the .Net environment

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Supporting Dynamic Data Structures with Olden

# publications[].label
RAPTOR: Introducing Programming to Non-Majors with Flowcharts

# publications[].publisher
Consortium for Computing Sciences in Colleges

# publications[].label
Weaving Ada 95 into the .net environment

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
The Glowworm hash: Increased Speed and Security for BBC Unkeyed Jam Resistance

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
ByteWise: A Case Study in Neural Network Obfuscation Identification

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
What should a college classroom look like in a digital age?

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Automatic OO parser generation using visitors for Ada 2005

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Tools for teaching introductory programming

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Provably Secure DNS: A Case Study in Reliable Software

# publications[].label
Automated Vulnerability Detection in Source Code Using Deep Representation Learning

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Supporting dynamic data structures on distributed-memory machines

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Determining uni-connectivity in directed graphs

# organizations[]
Institute for Engineering Education and Innovation

# organizations[]
Texas A&M Engineering Experiment Station (TEES)

# schools[]
Texas A&M Engineering Experiment Station (TEES)

# inTheNews[].label
10 Talented Federal Employees Earn Arthur S. Flemming Awards

# inTheNews[].label
Texas A&M student team places in embedded security competition

# inTheNews[].label
In cyber war game, Air Force cadets fend off NSA hackers

# inTheNews[].label
Engineering student team takes second in virtual embedded security system competition

# inTheNews[].label
Cyber Monday Safety Tips for Online Shopping

# inTheNews[].label
Learning to attack the cyberattackers can't happen fast enough

# inTheNews[].label
Don't fall victim to cyber hackers and hijackers

# inTheNews[].label
SANS Honors People Who Made a Difference in Cybersecurity in 2014

# inTheNews[].label
Student team places in embedded security system competition

# inTheNews[].label
U.S. Air Force blasts Outlook security patch