I am a graduate student and security researcher in the Systems and Networking group at the University of California, San Diego. My work focuses on the development of verified software systems, the automation of program analysis techniques for embedded device firmware, and the use of network protocols in the security of distributed systems.