Move AM to new development language

ku-sldg / am-cakeml

Delivery repo for the KU CakeML Attestation Manager

GNU General Public License v3.0

1 stars 1 forks source link

Move AM to new development language #12

Closed Durbatuluk1701 closed 1 month ago

Durbatuluk1701 commented 1 year ago

Blocked by #13 The core of the AM being in CakeML is extremely nice for the security properties it provides, but lacks the ease of development for surrounding AM components and stubs. Figuring out a new language to develop with around the CakeML AM would be nice for both internal development and sponsor adoption

Durbatuluk1701 commented 1 month ago

Closing as being planned for completion in inspecta project instead