Project Details
| Short title | IAA2017_Formal Verification of a secure Boot Protocol |
|---|---|
| Status | Finished |
| Effective start/end date | 17/09/18 → 16/11/18 |
Funding
- Engineering & Physical Science Research Council
IAA2017_Formal Verification of a secure Boot Protocol
- Ryan, Mark (Principal Investigator)