Skip to main content

Andrew Paverd

Personal photo - Andrew Paverd

Andrew Paverd

Doctoral Student

Leaving date: 23rd November 2015



Trustworthy Remote Entities

In this research endeavour we are designing, building and evaluating the Trustworthy Remote Entity (TRE), a highly-specialized single-function networked system that can perform privacy-enhancing data processing whilst providing a very high level of assurance. Unlike a trusted third party, users are not required to blindly trust the TRE. Instead, the TRE uses tools and techniques from the field of Trusted Computing, such as remote attestation and the Trusted Platform Module (TPM), to provide technical guarantees of its trustworthiness. This architecture allows us to use today's well-established cryptographic techniques and widely deployed hardware, such as the TPM, to perform Secure Multi-party Computation (SMC) cheaply and efficiently and use this to enhance privacy in the smart energy grid and other application domains.

Analysing Privacy Properties

For certain communication protocols, undetectability and unlinkability of messages or information items are desirable properties, and are used to reason about anonymity and privacy. The semi-honest or honest-but-curious (HBC) adversary is commonly used in the analysis of these privacy properties. In this work, we are developing a formal model of the capabilities of an HBC adversary with respect to undetectability and unlinkability. We have implemented our HBC model in the process algebra of CSP and integrated it into a specialized version of the Casper/FDR tool called Casper-Privacy.

Future Home Networks and Services

The objective of this project is to investigate the security and privacy aspects of future home networks and services. We have described a novel method for performing a characteristic-based security analysis of the Personal Network.

Selected Publications

View AllManage publications