Galois is a company that specializes in the research and development of technologies in critical systems. It offers cryptography auditing, digital engineering, consulting, semiconductor design, computer security, and other services.