我在 Dobb 博士 2008 年 12 月 29 日的电子邮件报告中看到，有一种用于设计加密系统的新 DSL（特定领域语言）。它被称为Cryptol，可从 Galois 获得。
有人看过吗？有人有使用它的计划吗？值得吗，你觉得呢？
罗伯特·甘布尔指出：
Cryptol 并不新鲜，它已经存在很多年了。新的是它（部分）对公众的可用性，它最初是为 NSA 开发和使用的。
就像布赖恩一样，我没有任何真正的理由使用 Cryptol。如果我需要（重新）验证我们拥有的基于 SSL 的实现，它可能会很有用，尽管我不确定它是否会有所帮助（我们不需要验证 SSL 库；我们可能需要验证我们的（错误）使用 SSL 库）。