Skip to content
Cryptographic design review of Ockam
blog.trailofbits.com | blog | #cryptography | #formal-verification | #noise | #trail-of-bits | #design-review | #protocol-design | #ockam
Summary
Trail of Bits reviewed Ockam's protocol design for end-to-end encrypted channels, examining its Noise XX-based secure channels and applying formal verification with Verifpal and CryptoVerif.
- Published
- Collected