Thesis Title: Emulation Based Security Measurement with Applications in Avionics, Redaction, and Industrial Control
Kirill Levchenko (Chair)
Adam Bates
Gang Wang
Aaron Schulman, UC San Diego