John C. Knight

Diversification of Stack Layout in Binary Programs Using Dynamic Binary Translation

Jack W. Davidson, Anh Nguyen-Tuong, Michelle Co, 2013 .

Hypertext Structures and Software Documentation

James C. French, Allison L. Powell, John C. Knight, 2012 .

THE WILLOW SURVIVABILITY ARCHITECTURE

Michael Gertz, Dennis Heimbigner, Alexander L. Wolf, 2001 .

Solutions for Trust of Applications on Untrustworthy Systems

Jack W. Davidson, Jonathan Hill, John C. Knight, 2012 .

Security Monitoring, Visualization, and System Survivability: A Position Paper for ISW-2001

John C. Knight, Philip E. Varner, 2001 .

A lightweight software control system for cyber awareness and security

Michele Co, Jack W. Davidson, Anh Nguyen-Tuong, 2009, 2009 2nd International Symposium on Resilient Control Systems.

Echo: a new approach to formal verification based on Ada

John C. Knight, 2009 .

A Linguistic Analysis of Requirements Errors and Its Application

John C. Knight, Elisabeth A. Strunk, Kimberly S. Hanks, 2012 .