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.
Elliptic Curve Cryptography (ECC)
Elliptic curve cryptography (ECC) provides the security of standard public key cryptography with more efficient implementations, leading to stronger encryption.