Welcome

Galois’ mission is to create trustworthiness in critical systems. We’re in the business of taking blue-sky ideas and turning them into real-world technology solutions. We tackle challenging Information Assurance (IA) problems that have significant impact on society, in areas like privacy, security, and safety.

Client Services

Galois applies high assurance software development methods to solve our clients’ information sharing problems. We are a technology transition company, offering thought leadership and unmatched technical expertise in secure systems engineering, language design, and formal methods services.

Technology

Galois technology is about enabling secure collaboration. We provide our customers new capabilities in the areas of Web 2.0, cross-domain solutions, and communications security. In each case, we blend functionality and dependability in ways that significantly advance trustworthy software development.