Home

Welcome to the attarch wiki!

The attarch app is an in-development software solution for remote attestation. It leverages the seL4 microkernel to provide isolation for measurement tools from a Linux VM they measure. This provides a superior level of trust when compared to previous solutions founded upon conventional hypervisors.

The app implements an introspection library over several versions of Linux, several measurements over those Linux kernels, and the attestation architecture requisite for these mechanisms to be trustworthy.

The app is integrated with the CakeML AM, which provides high level orchestration faculties for the attestation process.

The app can be built on Debian and it can be built on Windows using WSL2.