Thesis Topic Details
Topic ID: |
3304 | |
Title: |
A covert channel based on weak memory | |
Supervisor: |
Kai Engelhardt | |
Research Area: |
Security | |
| Associated Staff | ||
|---|---|---|
Assessor: |
Peter Chubb | |
| Topic Details | ||
Status: |
Active | |
Type: |
R & D | |
Programs: |
CS CE SE | |
Group Suitable: |
No | |
Industrial: |
No | |
Pre-requisites: |
-- | |
Description: |
Modern CPUs (x86, ARM, Power) all surrender linearisability in favour of subtly weaker memory models. In combination with multiple cores, these weaknesses can be exploited to construct a covert channel that is exposed when modelling concurrent executions with partial orders rather than total ones (traces). Details of a toy example in a different domain can be found in this paper. Models of said architectures have recently been published, together with suggestions for proof techniques based on them http://www.cl.cam.ac.uk/~pes20/weakmemory/. Exploration of proof-of-concept implementations could involve the diy tools. |
|
Comments: |
Objective: advancing the state of the art in the security literature. Keywords: information-flow; noninterference (While Peter Chubb is listed as assessor, this might change.) |
|
| Past Student Reports | ||
| No Reports Available. Contact the supervisor for more information.
Check out all available reports in the CSE Thesis Report Library. NOTE: only current CSE students can login to view and select reports to download. |
||