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

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

Towards the visualization of genome activity at nanoscale dimensions

A report on the Fifth Annual Nanostructural Genomics meeting, Bar Harbor, USA, 7-10 September 2005

Design of a Denitrification Bioreactor for St. Francis Retreat Center

The St. Francis Retreat Center located in San Juan Bautista, California has over 7000 visitors a year. The Retreat Center aims to provide a peaceful rejuvenating experience for its visitors through the opportunity to enjoy the natural beauty and landscape it has to offer. Unfortunately, the Retreat Center has a lake on its property that, primarily during the summer months, is dry due to the lack of rain. In effort to solve this problem and make the property more visually appealing, the Retreat Center would like to use the water from a well to recharge the lake. The well, however, is currently contaminated with high levels of nitrates. A sustainable, cost-effective, and aesthetically appealing solution to this problem is a denitrification bioreactor. This report designs a denitrification bioreactor for the Retreat Center. Included in this report is an analysis of the potential location of the bioreactor, the size of the bioreactor, the grade of the bioreactor walls, and flow rate and pipe size for the bioreactor. Additionally, this report addresses logistics for the construction of the bioreactor including the necessary cut and fill amounts, the cost estimate, and finally the schedule for construction. Ultimately, the Retreat Center would use the components of this report as the foundation for the construction of their denitrification bioreactor