PoisonIvy: Safe speculation for secure memory

Encryption and integrity trees guard against phys- ical attacks, but harm performance. Prior academic work has speculated around the latency of integrity verification, but has done so in an insecure manner. No industrial implementations of secure processors have included speculation. This work presents PoisonIvy, a mechanism which speculatively uses data before its integrity has been verified while preserving security and closing address-based side-channels. PoisonIvy reduces per- formance overheads from 40% to 20% for memory intensive workloads and down to 1.8%, on average.

Harm, hype and evidence: ELSI research and policy guidance.

There has been much investment in research on the ethical, legal and social issues (ELSI) associated with genetic and genomic research. This research should inform the development of the relevant policy. So far, much of the relevant policy - such as in the areas of patents, genetic testing and genetic discrimination - seems to be informed more by speculation of harm and anecdote than by available evidence. Although a quest for evidence cannot always be allowed to delay policy choice, it seems axiomatic to us that policy options are improved by the incorporation of evidence.

Terminating links between emission trading programs

© 2015 Elsevier Inc.Links between emission trading programs are not immutable, as highlighted by New Jersey's exit from the Regional Greenhouse Gas Initiative in 2011. This raises the question of what to do with existing permits that are banked for future use-choices that have consequences for market behavior in advance of, or upon speculation about, delinking. We consider two delinking policies. One differentiates banked permits by origin, the other treats banked permits the same. We describe the price behavior and relative cost-effectiveness of each policy. Treating permits differently generally leads to higher costs, and may lead to price divergence, even with only speculation about delinking.

Can the Quilombo Model of Collective Land Titling Work in Rio’s Favelas?

Due to their informality, the favelas of Rio de Janeiro are in a precarious position. Though the informal neighborhoods have long served as sites of affordable housing for Rio’s poorest residents, changes within in the city related to public security, mega-events, real estate speculation, and urban revitalization jeopardize their permanence. As one possible solution, this study, conducted for the client Catalytic Communities, investigated collective titling in favelas modeled after quilombos, territories recognized and titled by Brazilian federal law as patrimonies of black cultural traditions.