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

Conflict Minerals Policy Introduction McLaren Applied Technologies (MAT) is committed to preventing conflict, building stability overseas, improving the protection of human rights and the rule of law. To this end, MAT ac

Source URL: static-mat-cdn.mclaren.com

• Conflict resource
• Minerals
• World
• Geography of Africa
• Africa
• Mining
• Democratic Republic of the Congo

1 Safe, Efficient and Robust SDN Updates by Combining Rule Replacements and Additions Stefano Vissicchio, Luca Cittadini

Source URL: www0.cs.ucl.ac.uk

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

BPOE-9 workshop The ninth workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware INSTITUTE OF COMPUTING TECHNOLOGY

Source URL: prof.ict.ac.cn

• Computing
• Concurrent computing
• Distributed computing
• Computer networking
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Benchmark
• Artificial intelligence
• Data center

OWASP TopThe Ten Most Critical Web Application Security Risks https://owasp.org This work is licensed under a

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

• Computer security
• Computing
• Cyberwarfare
• Computer network security
• Hacking
• Web applications
• OWASP
• Web application security
• Security
• Application security
• XML external entity attack
• SQL injection

Group Henzinger Software Systems Theory Systems Biology Group members

Source URL: pub.ist.ac.at

• Concurrent computing
• Communication
• Concurrency
• Edsger W. Dijkstra
• Synchronization
• Gene regulatory network
• Preemption
• Thread
• Metaphysics
• Systems science
• Computing

traffic confirmation attacks despite noise Jamie Hayes University College London

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

• Computing
• Dark web
• Internet
• Free software
• Cryptographic protocols
• Internet Standards
• Secure communication
• Tor
• Operation Onymous
• Noise pollution
• National Security Agency

Microsoft Word - Gender_Lordan_Pischke_June2018.docx

Source URL: econ.lse.ac.uk

• Human behavior
• Metaphysics
• Feminism
• Feminist economics
• Income in the United States
• Sexism
• Social inequality
• Industrial and organizational psychology
• Occupational segregation
• Gender pay gap
• Job satisfaction
• Choice

Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and Privacy

Source URL: cgi.csc.liv.ac.uk

• Modeling and simulation
• Multi-agent systems
• Simulation
• Artificial intelligence
• Systems science
• Model checking
• Agent-based model
• Economic model
• Intelligent agent
• MAS