galois

Galois 宣布，SAW 现在支持从 Cryptol 规范生成 Isabelle 理论，将 Cryptol 和 SAW 的易用性与 Isabelle 等交互式定理证明器的表达能力相结合，从而实现对加密协议的半自动化验证。