research
∙
09/01/2023
Security Verification of Low-Trust Architectures
Low-trust architectures work on, from the viewpoint of software, always-...
share
research
∙
05/15/2019
Neverland: Lightweight Hardware Extensions for Enforcing Operating System Integrity
The security of applications hinges on the trustworthiness of the operat...
research
∙
03/10/2017