High-speed encryption that's automatically retargetable and provably correct.
Ensure your encryption solution protects your business- and mission-critical information. Through the use of our cryptography technologies, you can construct cryptographic software for a variety of platforms with ease, reliability, and high assurance.
High-speed, cost-saving AES:
Advanced Encryption Standard (AES)
In partnership with Rockwell Collins, Galois produced a high-speed embedded Cryptographic Equipment Application (CEA) that significantly reduces the lifecycle costs of chip design and cryptographic verification.
Crypto algorithms as easy as writing software:
Compiler Targeting (FPGAs)
Program cryptographic algorithms on FPGAs as if you were writing software, thus reducing development time and associated costs.
Capture cryptographic specifications, verify cryptographic implementations:
Designing cryptographic hardware correctly, while trading off time, space, and power, is expensive and time-consuming. Verifying that a hardware implementation implements a cryptographic algorithm specification correctly is equally challenging. The Cryptol domain-specific language (DSL) tool suite offers compelling assurance of hardware correctness by providing direct compilation of abstract cryptographic algorithms into the industry-standard VHDL and Verilog hardware description languages. Cryptol tools can also verify equivalence of crypto algorithm specifications, and equivalence of HDL and Cryptol descriptions.
Verify software equivalence:
Software Analysis Workbench (SAW)
The Software Analysis Workbench (SAW) provides analysts with the ability to extract formal models from programs, and analyze them using a variety of automated reasoning tools.