Security, privacy, and cryptography
Tool
CherIoT Sail: formal specification of the ISA
This repository contains an implementation of the CHERIoT ISA in Sail. It contains an executable description of the CHERIoT instruction set that can be used to build an instruction set emulator and also prove properties…
Tool
CherIoT RTOS and software stack
This repository contains the core RTOS components for the CHERIoT research platform. This is currently a research project that has been open-sourced to enable wider collaboration. It is not yet in a state where it…
Project
Zeta: Towards Zero-Trust Applications
A client using a cloud service today trusts the cloud provider to implement and run the service correctly. A service typically depends on millions of lines of code, a multitude of engineers developing the software,…
Group
Microsoft Research Special Projects
The Microsoft Research Special Projects group operates on the boundary between engineering and research to drive breakthrough innovation. We are a research group with world-class specialists solving highly uncertain, complex problems. We build technologies to…