RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see https://github.com/rustsbi/standalone.

首个基于硬件手册自动化构建各种物联网设备硬件环境的仿真与安全测试工具

Rust TrustZone-M application

基于符号执行等程序方法自动化构建物联网设备固件仿真分析环境

检测DPI系统中的规则绕过漏洞

检测跨云物联网设备授权机制的漏洞