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
--- id: 1522 title: "Cryptographic design review of Ockam" source_domain: blog.trailofbits.com source_url: "https://blog.trailofbits.com/2024/03/05/cryptographic-design-review-of-ockam/" published_at: "2024-03-05T14:00:38Z" tags: ["cryptography", "formal-verification", "noise", "trail-of-bits", "design-review", "protocol-design", "ockam"] phying_url: "https://phying.com/item/1522" lang: en --- # Cryptographic design review of 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. ## Intelligence Metadata - **Sources:** blog.trailofbits.com - **Published:** 2024-03-05T14:00:38Z - **Original:** https://blog.trailofbits.com/2024/03/05/cryptographic-design-review-of-ockam/ - **Phying News:** https://phying.com/item/1522