Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

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

The SCION Internet Architecture An Internet Architecture for the 21st Century David Barrera, Laurent Chuat, Adrian Perrig, Raphael M. Reischuk, Pawel Szalachowski Network Security Group, ETH Zurich, Switzerland March 6,

Source URL: www.netsec.ethz.ch

• Computing
• Network architecture
• Internet architecture
• Internet
• Routing
• Internet Standards
• Internet protocols
• Forwarding plane
• Router
• Border Gateway Protocol
• Open Shortest Path First
• Multiprotocol Label Switching

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

The flow-performance relationship in emerging market bond funds David Leung Hong Kong Monetary Authority and Max Kwong Hong Kong Monetary Authority

Source URL: www.hkimr.org

• Economy
• Finance
• Money
• Funds
• Bond market
• Investment
• Mathematical finance
• Bond
• Rate of return
• Mutual fund

CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  David Hartley Director  Matthew Tlachac Deputy Director  Jason Baker December 28, 2015 The Board wil

Source URL: clark.ohioboe.com

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez July 3, 2016 The Board will hold a reg

Source URL: clark.ohioboe.com

Do You See What I See? Differential Treatment of Anonymous Users Sheharbano Khattak (University of Cambridge)! David Fifield (UC Berkeley) Sadia Afroz (ICSI)

Source URL: sheharbano.com

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez February 22, 2017 The Board will hold

Source URL: clark.ohioboe.com

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

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

• Mathematics
• Mathematical analysis
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Symbol
• Constructible universe
• Linear temporal logic
• Craig interpolation