search

ku-sldg / am-cakeml

Delivery repo for the KU CakeML Attestation Manager
GNU General Public License v3.0
1 stars 1 forks source link

Create checker for concrete manifest #14

Closed Durbatuluk1701 closed 1 month ago

Durbatuluk1701 commented 1 year ago

Create a checker to allow the COMPILED AM to verify that the Concrete Manifest provided to it at runtime is the same as the Concrete Manifest that was created during Manifest Compilation (for the corresponding COMPILED AM).

Likely will involve some hashing and check for golden hash within the AM hardcoded

Durbatuluk1701 commented 1 month ago

Closed as manifest are now provided to the launching AM so they are never possibly out of sync