Information Security as a Resource

A workshop held on 13 – 15.x.2011 at the Department of Computer Science, Oxford University

Workshop Information:

General Links:

Organizers:

INFORMATION SECURITY AS A RESOURCE

Thursday 13 – Saturday 15 October, 2011
Oxford University Department of Computer Science, Oxford, UK
http://www.cs.ox.ac.uk/ISR11/

Scope:

The traditional resources consumed during computational processes are time and space. These suffice for complexity analyses of standard computers such as Turing machines, but are not exhaustive for certain non-standard (quantum, chemical, analogue, …) systems, which may for example consume energy or precision. Non-standard resources arise naturally, then, in the context of unconventional computation; this is addressed in work relating to EPSRC grant EP/G003017/1 and by a previous workshop.

Non-standard resources arise also in the context of cryptography; specifically, it is desirable to model as a resource the notion of security of cryptographic protocols, for then security can be reasoned about with existing complexity-theoretic techniques. Exactly how security can and should be modelled as a resource is the topic of this workshop.

The workshop brings together researchers with relevant interests, including but by no means limited to:

• cryptographic primitives;
• non-standard resources, especially as arising in cryptography/informatics; and
• category- and domain-theoretic techniques suitable for abstracting the relevant properties of security from the incidental details of protocols’ implementation.

Talks:

Resources in Cryptography	Ed Blakey (Oxford)	[slides]
Why Does Visual Analytics Work and What is the Underlying Theory?	Min Chen (Oxford)	[slides]
Structural Resources for Quantum Crypto	Bob Coecke (Oxford)	[slides]
Creation vs. Conservation of Security	Simon Gay (Glasgow)	[slides]
Security as a Resource in Process-Aware Information Systems	Michael Huth (Imperial)	[slides]
The Expectation Monad	Bart Jacobs (Radboud)	[slides]
Algebraic Foundations for Quantitative Information Flow	Pasquale Malacaria (Queen Mary)	[slides]
From Classical Channels Towards Abstract Models of Computation	Mike Mislove (Tulane)	[slides]
Logical Complexity in Security	Dusko Pavlovic (Royal Holloway)	[slides]
Trust as a Resource	Peter Ryan (Luxembourg)	[slides]
Min-Entropy as a Resource	Geoff Smith (Florida International)	[slides]
Bridging the Gap between Two Views of Security	Bogdan Warinschi (Bristol)	[slides]
Winning Strategies in Concurrent Games	Glynn Winskel (Cambridge)	[slides]

This workshop is funded by the EPSRC grant Complexity and Decidability in Unconventional Computational Models (EP/G003017/1).

This website was last updated on 17.i.2012.