Hardware-Enforced Trust Chain
Formal verification of Secure Boot and Key Management using SMT Solver (Z3) with ML-based runtime validation.
I enjoy making things. Here are a selection of projects that I have worked on over the years.
Formal verification of Secure Boot and Key Management using SMT Solver (Z3) with ML-based runtime validation.
Key management system with on-device key pair/CSR generation and remote attestation verifier on NXP i.MX93.
FPGA-based ML engine with bidirectional DShot protocol and neural network for ESC timing error correction.
Complete ARM/RISC-V security subsystem with clock/reset/power management and Safety Island for SoC platforms.