Learn More
Decentralized Information Flow Control (DIFC) is an approach to security that allows application writers to control how data flows between the pieces of an application and the outside world. As applied to privacy, DIFC allows untrusted software to compute with private data while trusted security code controls the release of that data. As applied to(More)
Synthetic biology has presented engineers with a fascinating opportunity: can we understand the principles of our origins – animal embryonic development – by re-engineering it in the laboratory? I investigate, from an engineer's perspective, some of problems that arise in developing geometric form in a deformable substrate. More abstractly, I attack the(More)
Carrier sense, or clear channel assessment (CCA), is widely used in wireless medium access control (MAC) protocols as the means to arbitrate access and regulate concurrency, striking a balance between interference protection and spatial reuse. Criticized widely in the literature, carrier sense has been subject to many replacement attempts with sophisticated(More)
Today's Web depends on a particular pact between sites and users: sites invest capital and labor to create and market a set of features, and users gain access to these features by giving up control of their data (photos, personal information, creative musings, etc.). This paper imagines a very different Web ecosystem, in which users retain control of their(More)
Nooks for NT Today's computer users can expect their computers to fail frequently, forcing restarts, loss of data, and loss of time. On commodity systems such as Windows, 85% of failures are caused by bugs in device drivers [Swift05]. Device drivers are privileged software modules that control hardware devices, such as disks and audio cards, and are(More)
  • 1