# 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[]
"strategic Manipulation, Propaganda, And Fake News"

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

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

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

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

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

# 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
Multilanguage programming with ada in the .Net environment

# 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
Integrating Ada 2005 into visual studio 2005

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

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

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

# 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
Heuristic Malware Detection via Basic Block Comparison

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

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

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

# 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
Determining uni-connectivity in directed graphs

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

# 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
Weaving Ada 95 into the .net environment

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

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

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

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

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

# publications[].label
Keynote address: confessions of an academic Ada zealot

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

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

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

# publications[].label
Tools for teaching introductory programming: what works?

# 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
AdaGIDE: a friendly introductory programming environment for a freshman computer science course

# 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
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[].label
RAPTOR: a visual programming environment for teaching algorithmic problem solving

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

# publications[].label
Tools for teaching introductory programming

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

# 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[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

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

# 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[].publisher
Association for Computing Machinery (ACM)

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

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

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

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

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

# publications[].label
CSCE 704 Data Analytics for Cybersecurity

# 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
Provably Secure DNS: A Case Study in Reliable Software

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

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

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

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

# publications[].label
Unkeyed Jam Resistance 300 Times Faster: The Inchworm Hash

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

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

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

# 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
The Glowworm hash: Increased Speed and Security for BBC Unkeyed Jam Resistance

# 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
Software Caching and Computation Migration in Olden

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

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

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

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

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

# teachingMaterials[].label
CSCE 704 Data Analytics for Cybersecurity

# organizations[]
Institute for Engineering Education and Innovation

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

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

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

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

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

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

# 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
Learning to attack the cyberattackers can't happen fast enough

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

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