1. DICE*: A formally verified implementation of DICE measured boot;Tao
2. Dyad: A System for Using Physically Secure Coprocessors;Tygar
3. Lightweight secure-boot architecture for RISC-V systemon-chip;Haj-Yahya
4. COUNTERFOIL: Verifying provenance of integrated circuits using intrinsic package fingerprints and inexpensive cameras;Dhanuskodi
5. U.S. gov issues stark warning, calling firmware security a ’single point of failure’;Naraine,2022