4104 Upson Hall
Computer Science Department
Cornell University
Ithaca, NY 14853
E-mail: djwill
My research interests are currently in operating systems. I have been
working with Gun on a secure
native operating system called Nexus that will provide a way to reason about the
state of computation on remote nodes by using the newly emerging TCPA hardware
to provide attestation and tamperproof execution abstractions to trustworthy
applications.
Publications
Dan Williams and Emin Gun Sirer. Optimal Parameter Selection for Efficient Memory
Integrity Verification Using Merkle Hash Trees. In 3rd IEEE International Symposium on Network
Computing and Applications - Trustworthy Network Computing Workshop, August 2004.
