shutterstock_88946509 [Converted]

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

• Security
• Computer security
• Software
• Security breaches
• Antivirus software
• Computer network security
• Cybercrime
• Malware
• Computer virus
• Spyware
• AutoRun
• Internet security

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

Practical-Sized Instances of Multivariate PKCs: Rainbow, TTS, and `IC-derivatives Anna Inn-Tung Chen1 , Chia-Hsin Owen Chen2 , Ming-Shing Chen2 , Chen-Mou Cheng1 , and Bo-Yin Yang2??? 1

Source URL: precision.moscito.org

1 Off-Path Hacking: The Illusion of Challenge-Response Authentication Yossi Gilad∗‡ , Amir Herzberg†‡ , Haya Shulman§‡

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

• Internet
• Computing
• Cyberwarfare
• Internet security
• Computer network security
• Internet Standards
• Internet protocols
• Transmission Control Protocol
• Denial-of-service attack
• TCP reset attack
• IP address spoofing
• Internet protocol suite

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

Understanding the Mirai Botnet Manos Antonakakis⇧ Tim April‡ Michael Bailey† Matthew Bernhard/ Elie Bursztein Jaime Cochran. Zakir Durumeric/ J. Alex Halderman/ Luca Invernizzi Michalis Kallitsis§ Deepak Kumar†

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

• Botnets
• Cybercrime
• Computing
• Cyberwarfare
• Denial-of-service attacks
• Linux malware
• Computer network security
• Mirai
• BASHLITE
• Internet of things
• TR-069
• Denial-of-service attack

LNCSDefensive JavaScript

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

• Computing
• Software engineering
• Computer programming
• Web development
• JavaScript
• Ajax
• Hacking
• HTML
• Bookmarklet
• Content Security Policy
• Password manager
• XMLHttpRequest

Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS†

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

• Process calculi
• Mathematics
• Theoretical computer science
• Logic
• -calculus
• Computability theory
• Number theory
• Process calculus
• Join-calculus
• Lambda calculus
• Distribution
• Substitution

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

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

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

• Theoretical computer science
• Theory of computation
• Computability theory
• Mathematics
• Turing machine
• Alan Turing
• Models of computation
• Ambient calculus
• Turing completeness
• Halting problem
• Computability
• Reduction