Galois

Galois is a company dedicated to developing technology that guarantees the trustworthiness of systems in which failure is unacceptable. The company applies cutting-edge computer science and mathematics to advance the state of the art in software and hardware trustworthiness. Galois focuses on securely linking and computing on private data, securely proving that computations are done correctly, and creating high-assurance cryptographic solutions. The company employs digital engineering to build tools that map and understand complex system architectures and engages in semiconductor design to create secure, reliable, and efficient solutions for computing problems from the network edge to the data center. Galois utilizes advanced cryptography and privacy techniques, including quantum-resilient schemes, and develops tools for software correctness to ensure systems perform exactly as intended. The company conducts research and development in areas such as artificial intelligence, machine learning, data science, cyber-physical systems, and human-computer interaction. Additionally, Galois offers services in cryptography auditing, consulting, and testing, and provides rigorous digital engineering solutions for industries including aerospace, defense, and healthcare.