research
∙
08/29/2023
A Closer Look at the Security Risks in the Rust Ecosystem
Rust is an emerging programming language designed for the development of...
share
research
∙
09/16/2022
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
Hardware supply-chain attacks are raising significant security threats t...
research
∙
05/29/2021
A Measurement Study on the (In)security of End-of-Life (EoL) Embedded Devices
Embedded devices are becoming popular. Meanwhile, researchers are active...
research
∙
05/29/2021
