The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web
You put a program on a concurrent server, but you don't trust the server; later, you get a trace of the actual requests that the server received from its clients and the responses that it...
Defending against malicious peripherals with Cinch
Malicious peripherals designed to attack their host computers are a growing problem. Inexpensive and powerful peripherals that attach to plug-and-play buses have made such attacks easy to mount....
Pretzel: Email encryption and provider-supplied functions are compatible
Emails today are often encrypted, but only between mail servers---the vast majority of emails are exposed in plaintext to the mail servers that handle them. While better than no encryption, this...
Yesquel: scalable SQL storage for Web applications
Based on a brief history of the storage systems for Web applications, we motivate the need for a new storage system. We then describe the architecture of such a system, called Yesquel. Yesquel...