Browsing by Author Chou, Elaine
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 22-Jun-2016 | A Secure Bootloader for Demonstrating Formal Verification of Hardware-Firmware Interactions on SoCs | Chou, Elaine |
| Issue Date | Title | Author(s) |
|---|---|---|
| 22-Jun-2016 | A Secure Bootloader for Demonstrating Formal Verification of Hardware-Firmware Interactions on SoCs | Chou, Elaine |