David Evans

Visit http://www.cs.virginia.edu/~evans/

My current research seeks to enable the cost-effective production of complex computer systems that can be trusted for critical applications even in the presence of malicious attackers. This goal involves many traditional research areas, including security, software engineering, programming languages, cryptography, and networking.

Works by or contributed to by David Evans on Book Gold Mine

• Introduction to Computing - Explorations in Language, Logic, and Machines (2009)