|
|
|
|
@ -12,6 +12,7 @@ A collection of articles & links
|
|
|
|
|
- [Exercise Examples](https://github.com/catalin-hritcu/exos-ssr/tree/master/Catalin)
|
|
|
|
|
- [Orchestrating Layered Attestations](https://ku-sldg.github.io/copland/resources/copland-post-2019.pdf)
|
|
|
|
|
- [Design & Formal Verification of a Copland-based Attestation Protocol](https://ampetz.github.io/resources/memocode21_camera-ready.pdf)
|
|
|
|
|
- [SymForce: Symbolic Computation and Code Generation for Robotics](https://arxiv.org/abs/2204.07889)
|
|
|
|
|
|
|
|
|
|
### Development
|
|
|
|
|
|
|
|
|
|
|
