Jay-Evan J. Tevis

Static analysis of anomalies and security vulnerabilities in executable files

John A. Hamilton, Jay-Evan J. Tevis, J. Hamilton, 2006, ACM-SE 44.

A security-centric ring-based software architecture

John A. Hamilton, Jay-Evan J. Tevis, J. Hamilton, 2007, SpringSim '07.

Secure Programming using a Functional Paradigm

Jay-Evan J. Tevis, 2006 .

Methods for the prevention, detection and removal of software security vulnerabilities

John A. Hamilton, Jay-Evan J. Tevis, J. Hamilton, 2004, ACM-SE 42.

Using industry-style software engineering and project management in a group project

Kenneth Rouse, Jay-Evan J. Tevis, 2010 .

Automatic detection of software security vulnerabilities in executable program files

John A. Hamilton, Jay-Evan J. Tevis, 2005 .