---
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