Annual Computer Security Applications Conference

Outstanding Paper Award

are pleased to present the

OUTSTANDING STUDENT PAPER AWARD

Model Checking An Entire Linux Distribution for Security Violations

by

Benjamin Schwarz, Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin, Wei Tu
University of California, Berkeley, USA

This award is based on both the written paper and an
oral presentation by an author attending the

21st Annual Computer Security Applications Conference

Marriott University Park
Tucson, Arizona
December 2005