Compiling and securing cryptographic protocols

Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequences of operations to be performed by each role. Unlike previous works, we reduce this compilation process to well-known decision problems in formal protocol analysis. This allows one to define a natural notion of prudent translation and to reuse many known results from the literature in order to cover more crypto-primitives. In particular this work is the first one to show how to compile protocols parameterised by the properties of the available operations.Comment: A short version was submitted to IP

Politics and Charity

This article considers the turbulent relationship of charities and politics and debates whether there is a judicial move towards creating a more harmonious relationship between the two objects. The issues are considered in light of the Charities Act 2006 (England and Wales) and the recent publication by the Charity commission for England and Wales of guidance on campaigning and political activity by charities. The article suggests that there is scant authority for the current approach of the common law and that clear guidance is necessary. The article concludes that although the intentions of the Charity Commission may be honourable, the results are inconclusive, and are unlikely to clarify many of the issues