University of Texas

file

Visible to the public Cyber Trust and Suspicion

Eunice Santos works in the areas of large-scale distributed processing, computational modeling, complex adaptive systems, and human modeling with applications to the biological, physical, and social sciences. She is the Founding Director of the Institute of Defense & Security. She also served as Chair of Computer Science. She joined the University of Texas at El Paso in 2009 after serving as a Senior Research Fellow at the US Department of Defense's Center for Technology and National Security Policy.

file

Visible to the public Circuit Specification, Abstraction, and Reverse Engineering

Presented as part of the 2007 HCSS conference.

Abstract

file

Visible to the public Theorem Provers as High Assurance Programming Environments

Presented as part of the 2004 HCSS conference.

file

Visible to the public Buyer/Seller Approach to Validation Assurance

Presented as part of the 2006 HCSS conference.

file

Visible to the public Use of the E Language

Presented as part of the 2009 HCSS conference.