search

ku-sldg / am-cakeml

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

Create JSON wrapper around core AM components #18

Closed ampetz closed 11 months ago

ampetz commented 11 months ago

Create a JSON interface to core AM components (CVM + appraisal).

Update cmake config and glue code to build and invoke these new wrappers.