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

• Computing
• Computer security
• Software engineering
• Computer access control
• Cloud standards
• Hacking
• Computer network security
• Web development
• JavaScript
• HTTP cookie
• Cross-site scripting
• Cross-site request forgery

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford

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

• Mathematical analysis
• Statistical randomness
• Metaphysics
• Stochastic processes
• Generalized functions
• Stochastic simulation
• Distribution
• Dynamical system
• Markov chain

S. Vissicchio, L. Vanbever, L. Cittadini, G.G. Xie, O. Bonaventure Routing configuration matters  It controls traffic paths  impacts QoE, business goals, SLAs, …

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

• Internet architecture
• Telecommunications engineering
• Routing algorithms
• Computing
• Routing
• Network architecture
• OpenFlow
• Route redistribution
• Computer network
• Wireless networking
• Information and communications technology

Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48

Source URL: dream.inf.ed.ac.uk

• Cryptography
• Pyruvate dehydrogenase lipoamide kinase isozyme 1
• Key management
• Digital signature
• Key

1 From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence Luca Cittadini

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

PDF Document

Source URL: www.dcs.gla.ac.uk

SUMMARY RECORD, ADMINISTRATIVE COUNCIL INTERNATIONAL AMATEUR RADIO UNION Meeting in Seoul, Republic of Korea 12 SeptemberThe 44th meeting of the Administrative Council (AC) of the International Amateur Radio Uni

Source URL: www.iaru.org

• Radio
• Amateur radio
• International Amateur Radio Union
• QSL card

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

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

• Fingerprinting algorithms
• Identification
• Computing
• Cryptography
• Statistical classification
• Biostatistics
• Medical statistics
• Fingerprint
• Human anatomy
• Tor
• Sensitivity and specificity
• FPR

Microsoft Word - Trinity College Gender Pay Reportdocx

Source URL: www.trinity.ox.ac.uk

• Feminist economics
• Equal pay for equal work
• Gender pay gap
• Misogyny
• Discrimination
• Gender
• Income in the United States
• Economy
• Gender equality
• Gender pay gap in the United States
• Gender pay gap in Australia

Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department

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

• Dynamic programming
• Markov processes
• Stochastic control
• Markov decision process
• Approximation algorithms
• Probability
• Computational complexity theory