Sergio

Results: 1916



#Item
1Computing / Web standards / Semantic Web / Technical communication / T0 / Data integration / -calculus / Web Ontology Language / Database

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

Add to Reading List

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

Language: English - Date: 2009-08-14 07:09:04
2Process calculi / Theoretical computer science / -calculus / Process calculus / Computability theory / Markov models / Computer science / Normal distribution / Cognitive science / Algorithm characterizations

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

Add to Reading List

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

Language: English - Date: 2009-08-14 07:09:04
3Software engineering / Computing / Computer programming / Functional languages / Control flow / High-level programming languages / Programming language comparisons / Programming language syntax / Eval / JavaScript / Scope / Dynamic programming language

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

Add to Reading List

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

Language: English - Date: 2009-08-14 07:09:04
4Computing / Data management / Data / Information / Technical communication / Process calculi / File sharing / Business intelligence / Data integration / Effi / Database / -calculus

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

Add to Reading List

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

Language: English - Date: 2009-08-14 07:09:04
5Software engineering / Computer programming / Computing / High-level programming languages / Functional languages / Cross-platform software / Scripting languages / JavaScript / Web programming / Scope / Eval / C Sharp

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

Add to Reading List

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

Language: English - Date: 2009-08-14 07:09:04
6Software engineering / Computing / Computer programming / Functional languages / Control flow / High-level programming languages / Programming language comparisons / Programming language syntax / Eval / JavaScript / Scope / Dynamic programming language

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

Add to Reading List

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

Language: English - Date: 2016-01-15 12:55:39
7Software engineering / Computing / Computer programming / Cross-platform software / Scripting languages / Ajax / JavaScript / Web programming / Scope / Closure / Prototype JavaScript Framework / Eval

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

Add to Reading List

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

Language: English - Date: 2012-08-10 13:17:44
8Theoretical computer science / Theory of computation / Computability theory / Mathematics / Turing machine / Alan Turing / Models of computation / Ambient calculus / Turing completeness / Halting problem / Computability / Reduction

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

Add to Reading List

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

Language: English - Date: 2009-08-14 07:09:04
9Cryptography / Computing / Secure communication / Cryptographic software / Cryptographic protocols / Transport Layer Security / Internet Standards / HTTPS / Password / Public-key cryptography / Client-side / Key

Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage Chetan Bansal1 , Karthikeyan Bhargavan2, Antoine Delignat-Lavaud2 , and Sergio Maffeis3, 1

Add to Reading List

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

Language: English - Date: 2013-01-25 08:24:32
10Ambient calculus / Process calculi

On Abstra t Interpretation of Mobile Ambients  Fran es a Levi DISI, University of Genova, Italy Sergio Ma eis Department of Computing, Imperial College, UK levifrandisi.unige.it

Add to Reading List

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

Language: English - Date: 2009-08-14 07:09:04
UPDATE