Micah Z. Brodsky

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)
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)
We measured esophageal pressures, respiratory flow rates, and expired O2 and CO2 in six adult bottlenose dolphins (Tursiops truncatus) during voluntary breaths and maximal (chuff) respiratory efforts. The data were used to estimate the dynamic specific lung compliance (sCL), the O2 consumption rate (V̇O2 ) and CO2 production rates (V̇CO2 ) during rest. Our(More)
The Internet has allowed collaboration on an unprecedented scale. Wikipedia, Luis Von Ahn’s ESP game, and reCAPTCHA have proven that tasks typically performed by expensive in-house or outsourced teams can instead be delegated to the mass of Internet computer users. These success stories show the opportunity for crowdsourcing other tasks, such as allowing(More)
We present a secure service prototype built from untrusted, contributed code. The service manages private data for a variety of different users, and user programs frequently require access to other users’ private data. However, aside from covert timing channels, no part of the service can corrupt private data or leak it between users or outside the system(More)
In May of 2011, a live mass stranding of 26 short-finned pilot whales (Globicephala macrorhynchus) occurred in the lower Florida Keys. Five surviving whales were transferred from the original stranding site to a nearby marine mammal rehabilitation facility where they were constantly attended to by a team of volunteers. Bacteria cultured during the routine(More)
Timing and convergence constitute a serious and under-appreciated complication in developmental patterning. I demonstrate an algorithm design methodology that eliminates timing problems across a broad family of spatial patterning mechanisms, with discrete gradients and growing points as examples. Values are exchanged between modules using partially(More)
The accurate estimation of field metabolic rates (FMR) in wild animals is a key component of bioenergetic models, and is important for understanding the routine limitations for survival as well as individual responses to disturbances or environmental changes. Several methods have been used to estimate FMR, including accelerometer-derived activity budgets,(More)
Synthetic biology has presented engineers with a fascinating opportunity: can we understand the principles of our origins – animal embryonic development – by reengineering 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)