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.
Explore all Galois Tools on Github ->
Last updated 5 months ago
