Galois Tools

CAMET ->

Practical and powerful analysis tools to support Model-based DevOps, Digital Engineering, ACVIP, and more.

Cryptol ->

Domain-specific language for specifying cryptographic algorithms

SAW ->

Provides the ability to formally verify properties of code written in C, Java, Rust, and Cryptol.

Swanky ->

open source suite of Rust libraries for secure computation

C2Rust ->

Translates most C modules into semantically equivalent Rust code.