Cookieless Monster: Exploring the Ecosystem of Web-based Device Fingerprinting Nick Nikiforakis∗ , Alexandros Kapravelos† , Wouter Joosen∗ , Christopher Kruegel† , Frank Piessens∗ , Giovanni Vigna† ∗ iMinds

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

• Software
• Computing
• Web browsers
• Internet privacy
• Fingerprinting algorithms
• Cross-platform software
• Computer network security
• HTTP cookie
• Device fingerprint
• Browser extension
• JavaScript
• Fingerprint

k-fingerprinting: a Robust Scalable Website Fingerprinting Technique Jamie Hayes University College London George Danezis

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

• Fingerprinting algorithms
• Computing
• Identification
• Internet
• Secure communication
• Internet Protocol
• TCP/IP stack fingerprinting
• Fingerprint
• Transmission Control Protocol
• Tor

Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska

Source URL: qav.comlab.ox.ac.uk

• Computing
• Electronic engineering
• Theoretical computer science
• Electronic design automation
• Service choreography
• Formal verification
• Orchestration
• Autonomic computing
• Transition
• Business Process Execution Language
• High-level synthesis
• Systems engineering

SCMon: Leveraging Segment Routing to Improve Network Monitoring Franc¸ois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure ICTEAM, Universit´e catholique de Louvain, Louvain-

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

Regulatory Match Effects on a Modified Wisconsin Card Sort Task

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

• Psychology
• Neuroscience
• Neuropsychology
• Neuropsychological assessment
• Attention deficit hyperactivity disorder
• Cognition
• Neuropsychological tests
• Wisconsin Card Sorting Test
• Executive dysfunction
• Executive functions
• Motivation
• Affect

Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Source URL: afnom.net

• Computing
• Hacking
• Human behavior
• Information and communications technology
• Telephone tapping
• Computer programming
• Hacker
• Internet security
• Wargame
• Security hacker

Patrick McCorry - C.V. Research Interests

Source URL: homepages.cs.ncl.ac.uk

• Cryptocurrencies
• Computing
• Bitcoin
• Economy
• Money
• Decentralization
• Financial technology
• Alternative currencies
• Blockchain
• CICS
• Ledger

Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by

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

• Complexity classes
• Mathematics
• Theoretical computer science
• Discrete mathematics
• EXPTIME
• P
• Reachability problem
• Matrix
• Controllability
• Decidability
• Reachability
• Word problem

Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2

Source URL: repository.ist.ac.at

• Mathematics
• Geometry
• Algebra
• Analytic geometry
• Linear algebra
• Algebraic curves
• Cone
• Surfaces
• Conic section
• Convex cone
• Line
• Hybrid system

∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Mathematics
• Linear temporal logic
• Probability
• Computation tree logic
• IP
• Probabilistic CTL
• PRISM model checker
• Markov decision process
• Model checking
• Markov chain