github.com/katzenpost/crypt_walker
Lean and Rust based cryptographic protocol framework for formally proving protocol properties
https://github.com/katzenpost/crypt_walker
lean: katzenpost/crypt_walker
Lean and Rust based cryptographic protocol framework for formally proving protocol propertiesLatest release: 3 months ago