Imperial College London Department of Electrical and Electronic Engineering MEng Individual Project Project Title:

Source URL: www.doc.ic.ac.uk

• Computer network security
• Cyberwarfare
• Computing
• Security engineering
• Honeypot
• Computer security
• Virtual machine
• VMware
• Internet privacy
• Honeyd
• Client honeypot

Dynamic Web Data: a Process Algebraic Approach Sergio Maffeis Department of Computing, Imperial College London Ph.D. Thesis, 2005. Thesis supervisor: Philippa Gardner

Source URL: www.doc.ic.ac.uk

• Computing
• Web standards
• Semantic Web
• Technical communication
• T0
• Data integration
• -calculus
• Web Ontology Language
• Database

Modelling Dynamic Web Data ? Philippa Gardner, Sergio Maffeis ∗ Department of Computing 180 Queen’s Gate, South Kensington Campus, Imperial College London SW7 2AZ, UK.

Source URL: www.doc.ic.ac.uk

• Process calculi
• Theoretical computer science
• -calculus
• Process calculus
• Computability theory
• Markov models
• Computer science
• Normal distribution
• Cognitive science
• Algorithm characterizations

Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• Control flow
• High-level programming languages
• Programming language comparisons
• Programming language syntax
• Eval
• JavaScript
• Scope
• Dynamic programming language

Behavioural Equivalences for Dynamic Web Data Sergio Maffeis Philippa Gardner Department of Computing, Imperial College London {maffeis,pg}@doc.ic.ac.uk Abstract

Source URL: www.doc.ic.ac.uk

• Computing
• Data management
• Data
• Information
• Technical communication
• Process calculi
• File sharing
• Business intelligence
• Data integration
• Effi
• Database
• -calculus

Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computer programming
• Computing
• High-level programming languages
• Functional languages
• Cross-platform software
• Scripting languages
• JavaScript
• Web programming
• Scope
• Eval
• C Sharp

SIOTOME: An Edge-ISP Collaborative Architecture for IoT Security Hamed Haddadi∗ , Vassilis Christophides† , Renata Teixeira† , Kenjiro Cho‡ , Shigeya Suzuki§ , Adrian Perrig¶ ∗ Imperial College London

Source URL: www.netsec.ethz.ch

Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• Control flow
• High-level programming languages
• Programming language comparisons
• Programming language syntax
• Eval
• JavaScript
• Scope
• Dynamic programming language

Multi-version Software Updates Cristian Cadar Petr Hosek Department of Computing Imperial College London {c.cadar, p.hosek}@imperial.ac.uk

Source URL: srg.doc.ic.ac.uk

• Computing
• Software
• Software release
• Cloud clients
• Parallel computing
• Computer science
• Chromium
• Patch
• Kernel
• Operating system
• Software deployment
• Software quality

Language-Based Isolation of Untrusted JavaScript Sergio Maffeis Department of Computing Imperial College London London, UK Email:

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Scripting languages
• Ajax
• JavaScript
• Web programming
• Scope
• Closure
• Prototype JavaScript Framework
• Eval