1 Learning Universal Adversarial Perturbations with Generative Models Jamie Hayes and George Danezis University College London

Source URL: www.homepages.ucl.ac.uk

• Artificial intelligence
• Machine learning
• Computational neuroscience
• Learning
• Applied mathematics
• Artificial neural networks
• CIFAR-10
• Deep learning
• Training
• test
• and validation sets
• ImageNet
• Support vector machine
• Generative model

An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London

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

• Software engineering
• Computing
• Computer programming
• Functional languages
• High-level programming languages
• Object-oriented programming
• Data types
• Programming paradigms
• JavaScript
• Scope
• Operational semantics
• Semantics

CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst

Source URL: people.cs.umass.edu

Shehar Bano Department of Computer Science, University College London, Gower Street WC1E 6BT, London https://sheharbano.com Employment History. • University College London, Dept. of Computer Science

Source URL: sheharbano.com

• Computing
• California
• Information technology
• Steven Murdoch
• Vern Paxson
• Blockchain
• Association for Computing Machinery
• International Computer Science Institute
• Paxson
• Jon Crowcroft

Temporal Inference In Forward Search Temporal Planning Dissertation Abstract Atif Talukdar Supervisors: Maria Fox and Derek Long King’s College London London WC2R 2LS

Source URL: icaps16.icaps-conference.org

• Logic
• Metaphysics
• Philosophy of science
• Theoretical philosophy
• Reasoning
• Logic in computer science
• Expert systems
• Inference
• Logical consequence
• Causality
• Automated planning and scheduling
• Forward chaining

guard sets for onion routing Jamie Hayes - joint work with George Danezis University College London

Source URL: www.homepages.ucl.ac.uk

• Computing
• Internet
• Free software
• Dark web
• Cryptographic protocols
• Tor
• Onion routing
• Relay

Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo

Source URL: inl.info.ucl.ac.be

• Computing
• Information and communications technology
• Network architecture
• Internet architecture
• Internet Standards
• Routing protocols
• Computer networking
• Network protocols
• Computer network
• Network switch
• Port mirroring
• NetFlow

Jamie Hayes Contact Information University College London Dept. of Computer Science

Source URL: www.homepages.ucl.ac.uk

• Computing
• Internet
• Free software
• Adversarial machine learning
• Computer security
• Machine learning
• Privacy
• Internet privacy
• Deep learning
• Tor

ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

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

• Mathematical logic
• Mathematics
• Theoretical computer science
• Lambda calculus
• Deductive reasoning
• Natural deduction
• Proof theory
• Symbol
• System F
• -calculus
• Holomorphic functional calculus
• Security type system

Windward Community College Strategic Plan Action Outcomes 2015 – 2021

Source URL: windward.hawaii.edu

• University of Hawaii
• Windward Community College
• Windward and leeward