ADsafety: Type-Based Verification of JavaScript Sandboxing

Web sites routinely incorporate JavaScript programs from several sources into a single page. These sources must be protected from one another, which requires robust sandboxing. The many entry-points of sandboxes and the subtleties of JavaScript demand robust verification of the actual sandbox source. We use a novel type system for JavaScript to encode and verify sandboxing properties. The resulting verifier is lightweight and efficient, and operates on actual source. We demonstrate the effectiveness of our technique by applying it to ADsafe, which revealed several bugs and other weaknesses.Comment: in Proceedings of the USENIX Security Symposium (2011

Sea Level Rise in the Samoan Islands Escalated by Viscoelastic Relaxation After the 2009 Samoa-Tonga Earthquake

The Samoan islands are an archipelago hosting a quarter million people mostly residing inthree major islands, Savai'i and Upolu (Samoa), and Tutuila (American Samoa). The islands haveexperienced sea level rise by 2-3 mm/year during the last half century. The rate, however, has dramaticallyincreased following the Mw 8.1 SamoaTonga earthquake doublet (megathrust + normal faulting) inSeptember 2009. Since the earthquake, we found largescale gravity increase (0.5 Gal/year) around theislands and ongoing subsidence (8-16 mm/year) of the islands from our analysis of Gravity Recovery AndClimate Experiment gravity and GPS displacement data. The postseismic horizontal displacement is faster inSamoa, while the postseismic subsidence rate is considerably larger in American Samoa. The analysis oflocal tide gauge records and satellite altimeter data also identified that the relative sea level rise becomesfaster by 7-9 mm/year in American Samoa than Samoa. A simple viscoelastic model with a Maxwellviscosity of 2310(exp 18) Pa s for the asthenosphere explained postseismic deformation at nearby GPS sites aswell as Gravity Recovery And Climate Experiment gravity change. It is found that the constructiveinterference of viscoelastic relaxation from both megathrust and normal faulting has intensified thepostseismic subsidence at American Samoa, causing ~5 times faster sea level rise than the global average.Our model indicates that this trend is likely to continue for decades and result in sea level rise of 30-40 cm,which is independent of and in addition to anticipated climaterelated sea level rise. It will worsen coastalflooding on the islands leading to regular nuisance flooding

AKT1 (E17K) mutation profiling in breast cancer: prevalence, concurrent oncogenic alterations, and blood-based detection.

BACKGROUND: The single hotspot mutation AKT1 [G49A:E17K] has been described in several cancers, with the highest incidence observed in breast cancer. However, its precise role in disease etiology remains unknown. METHODS: We analyzed more than 600 breast cancer tumor samples and circulating tumor DNA for AKT1 (E17K) and alterations in other cancer-associated genes using Beads, Emulsions, Amplification, and Magnetics digital polymerase chain reaction technology and targeted exome sequencing. RESULTS: Overall AKT1 (E17K) mutation prevalence was 6.3 % and not correlated with age or menopausal stage. AKT1 (E17K) mutation frequency tended to be lower in patients with grade 3 disease (1.9 %) compared with those with grade 1 (11.1 %) or grade 2 (6 %) disease. In two cohorts of patients with advanced metastatic disease, 98.0 % (n = 50) and 97.1 % (n = 35) concordance was obtained between tissue and blood samples for the AKT1 (E17K) mutation, and mutation capture rates of 66.7 % (2/3) and 85.7 % (6/7) in blood versus tissue samples were observed. Although AKT1-mutant tumor specimens were often found to harbor concurrent alterations in other driver genes, a subset of specimens harboring AKT1 (E17K) as the only known driver alteration was also identified. Initial follow-up survival data suggest that AKT1 (E17K) could be associated with increased mortality. These findings warrant additional long-term follow-up. CONCLUSIONS: The data suggest that AKT1 (E17K) is the most likely disease driver in certain breast cancer patients. Blood-based mutation detection is achievable in advanced-stage disease. These findings underpin the need for a further enhanced-precision medicine paradigm in the treatment of breast cancer

Rapid, diffusional shuttling of poly(A) RNA between nuclear speckles and the nucleoplasm

Speckles are nuclear bodies that contain pre-mRNA splicing factors and polyadenylated RNA. Because nuclear poly(A) RNA consists of both mRNA transcripts and nucleus-restricted RNAs, we tested whether poly(A) RNA in speckles is dynamic or rather an immobile, perhaps structural, component. Fluorescein-labeled oligo(dT) was introduced into HeLa cells stably expressing a red fluorescent protein chimera of the splicing factor SC35 and allowed to hybridize. Fluorescence correlation spectroscopy (FCS) showed that the mobility of the tagged poly(A) RNA was virtually identical in both speckles and at random nucleoplasmic sites. This same result was observed in photoactivation-tracking studies in which caged fluorescein-labeled oligo(dT) was used as hybridization probe, and the rate of movement away from either a speckle or nucleoplasmic site was monitored using digital imaging microscopy after photoactivation. Furthermore, the tagged poly(A) RNA was observed to rapidly distribute throughout the entire nucleoplasm and other speckles, regardless of whether the tracking observations were initiated in a speckle or the nucleoplasm. Finally, in both FCS and photoactivation-tracking studies, a temperature reduction from 37 to 22°C had no discernible effect on the behavior of poly(A) RNA in either speckles or the nucleoplasm, strongly suggesting that its movement in and out of speckles does not require metabolic energy. © 2006 by The American Society for Cell Biology

Masked Criticism: the Whore and the Breeches Role as Articulators of Sexual Economic Theory in the Intrigue Plays of Aphra Behn.

Aphra Behn was an important playwright in the Restoration, second only to John Dryden in the number of plays produced during the period. In some of her early plays based on Spanish intrigue comedies, she uses the roles of whores and cross dressed women to articulate her criticism of the sexual economy within patriarchy. Masks and disguises create confusion in all the plays. Her characters, plots, structure, humor and economic concerns change with each successive play. The first play in the series, The Dutch Lover (1673) is a tale of romance where women are exchanged between men for the benefit of the men. In the central utopian portion of the play, women make their own choices about mates and benefit from those choices. Behn\u27s most popular play, The Rover (1677), is a play set firmly within capitalism and critiques that system\u27s use of women. All the characters rail against the selling of female flesh, whether in marriage or in prostitution. This play reinforces themes of the fool who cannot tell, the difference between whores and ladies. The third play The Feign\u27d Curtizans (1679) was clearly written at the same time as The Rover , with similar romances and similar criticisms of the system. The humorous subplot of two fools tricked by a clown (all three played by the best comedians of the period) threatens to overwhelm the romance. The last play of the series, The Second Part of The Rover (1681) is a continuation of the characters and adventures of The Rover. It reprises many of the themes, but the play is much darker and the women have very few choices. The men are no longer looking for sexual playmates, but marriageable women with large fortunes to secure their own futures. The breeches role and the role of the whore perform the same function. They embody the idea of women for sale, women on display. The whore does that within the text. The breeches role displayed the legs of the actress in a provocative way that was as much advertisement for the actress\u27s sexual availability as the vizard masks which real prostitutes wore in the streets. The vizard becomes an emblem of Behn\u27s dramatic technique. As the vizard both marks and masks the identity of the wearer, the spectacle of woman for sale (as both whore and breeches role) both articulates and masks Behn\u27s criticism of a sexual economy where women are sold and men are not

Foreword

Forewor