Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University

First Page		Document Content
Date: 2010-03-08 04:28:13 Computing Computer programming Software engineering Functional languages High-level programming languages Computer access control Object-capability model JavaScript Heap Topological space Monad Caja project		Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 326,19 KB Share Document on Facebook

	Finding and Preventing Bugs in JavaScript Bindings Fraser Brown⋆ Dawson Engler⋆ ⋆ Shravan Narayan† DocID: 1xVUa - View Document
	Reading sensor data for 4-digit PINs using JavaScript Author: Maryam Mehrnezhad (), Apr 2017 In this help file, we describe the details of our JavaScript code used for reading sensor data (motion an DocID: 1xVLq - View Document
	A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti DocID: 1xVf7 - View Document
	Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London DocID: 1xV5b - View Document
	Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell DocID: 1xV40 - View Document