Re:TCG TPM2.0 implementations vulnerable to memory corruption
by amluto on Wednesday March 01, 2023 @04:18AM
(#34980329)
For something like TPM, IMO, using a memory safe architecture should be table stakes nowadays. I would go further: the design should be as simple as possible to achieve its requirements, and the implementation should be formally verified.
Rust can still be a standard going forward.
Better tools, better programs, Rust lang.