Long time and variously SBIR-involved, the Galois mission is usefully understood as the creation of trustworthiness in critical systems. Principals of the firm describe what they do as taking blue-sky ideas and turning them into real-world technology solutions, through cutting-edge research and expert engineering. Working with government and industry to develop technologies that have a significant impact on society in areas of privacy, security, and safety, Galois Inc organizes around computer science and mathematics related technological problems and solutions. From this foundation, the firm applies formal analysis techniques to systems for modeling and analysis. Galois functional programming language technologies facilitate a formal analysis as well as the ability to build specialized languages for solving and analyzing domain-specific problems. The firms researchers and engineers apply this formalized approach to the design of software systems. The company also collaborates with scientists and engineers within industry, government, and academia to research solutions to problems. Examples of the companys development experience are building prototypes such as homomorphic encryption and commercial products like Cryptol and spin-off companies such as Tozny.