1. 4

A BSD-licensed framework for securely updating software. Has a specification, including threat model. Implemented in Python, Ruby, Go, and Haskell.

  1.