garrettmills/links
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update 'README.md'

Browse Source
This commit is contained in:
Garrett Mills 2022-09-07 14:21:48 +00:00
parent fc7c93ea53
commit 86d2e3e43f
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -13,6 +13,9 @@ A collection of articles & links
- [Orchestrating Layered Attestations](https://ku-sldg.github.io/copland/resources/copland-post-2019.pdf) - [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) - [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) - [SymForce: Symbolic Computation and Code Generation for Robotics](https://arxiv.org/abs/2204.07889)
- [And now it's all this](https://leancrew.com/all-this/2021/07/back-to-netnewswire/)
- [simpler syndication](https://leancrew.com/all-this/2015/11/simpler-syndication/)
- [lawyers guns and money blog](https://www.lawyersgunsmoneyblog.com/)
### Development ### Development