research
∙
07/31/2023
Towards Formal Verification of a TPM Software Stack
The Trusted Platform Module (TPM) is a cryptoprocessor designed to prote...
share
research
∙
07/24/2023
Execution at RISC: Stealth JOP Attacks on RISC-V Applications
RISC-V is a recently developed open instruction set architecture gaining...
research
∙
11/26/2022
