Research in Security and Programming Languages
David Evans and Research Group
CS696 Presentation, Fall 2005
28 September 2005
Talk slides
Introduction (David Evans)
N-Variant Systems (Ben Cox)
Effortless Secure Wireless Enrollment
(Jeff Shirley)
Buring up Hard Drives (Nate Paul)
Mining Windows Kernel API Rules (Jinlin Yang)
Links
Advice Page
Research projects:
Genesis
Inexpensive Program
Analysis
N-Variant Systems
Physicrypt
Terracotta
Publications
Talks
David Evans
evans@cs.virginia.edu