EXPRESSMatching Systems for Concurrent Calculi Bjørn Haagensen1 Aalborg University Denmark

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

• Theoretical computer science
• Process calculi
• -calculus
• Process calculus

RFCRequirements for Internet Hosts - Communication Layers

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

• Computing
• Internet protocols
• Network architecture
• Data transmission
• Internet Standards
• OSI model
• Internet Protocol
• Internet protocol suite
• Internet layer
• Communication protocol
• Transport layer
• Internet Control Message Protocol

starting point TCP/IP State Transition Diagram (RFC793) CLOSED

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

• Computing
• Network architecture
• Data transmission
• Transmission Control Protocol
• Flow control
• Network protocols
• Acknowledgement
• Internet protocol suite
• SYN flood

Click Trajectories: End-to-End Analysis of the Spam Value Chain

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

• World Wide Web
• Spamming
• Marketing
• Cyberspace
• Email spam
• Anti-spam techniques
• URL shortening
• Spam
• Affiliate marketing
• Email
• Honeypot
• Blacklist

This paper appears at the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDIDetecting and Defending Against Third-Party Tracking on the Web Franziska Roesner, Tadayoshi Kohno, and David We

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

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

Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt

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

Your Botnet is My Botnet: Analysis of a Botnet Takeover Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard Kemmerer, Christopher Kruegel, and Giovanni Vigna University of California

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

• Botnets
• Cybercrime
• Computing
• Cyberwarfare
• Torpig
• Srizbi botnet
• Festi
• Fast flux
• Domain generation algorithm
• Bot herder
• The Spamhaus Project
• Conficker

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

SAFEWEB: A Middleware for Securing Ruby-based Web Applications Petr Hosek1 , Matteo Migliavacca1 , Ioannis Papagiannis1 , David M. Eyers2 , David Evans3 , Brian Shand4 , Jean Bacon3 , and Peter Pietzuch1 1

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

• Computer security
• Security engineering
• Prevention
• Crime prevention
• Cryptography
• Information governance
• National security
• Data quality
• Information science
• Middleware
• Mandatory access control
• Database