Cambridge University
Cambridge University Botanic Garden, Brookside, Cambridge, UK
CHERI is a novel processor architecture that combines strong memory safety with scalable software compartmentalisation. As part of the Innovate UK Digital Security by Design programme, Arm has produced the Morello prototype system-on-chip, which enables evaluation of CHERI and its hardware and software stack at all levels in a modern computer system.
The CAPcelerate project is exploring security of accelerators as part of a wider DSbD programme, and considering how to provide memory safety to accelerators and I/O devices. In particular we are interested in how memory is used across different parts of the software stack, for example between applications, driver stack (e.g. OpenGL/CUDA/Tensorflow Lite/SmartNIC) and its compilers, kernel (particularly FreeBSD), memory management (capability-based and MMU/IOMMU), device hardware and firmware.
We are looking for a Research Associate/SRA with interest in one or more of the following:
Operating systems
Firmware / embedded...