Galois.com Website Review

Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. We apply cutting edge computer science and mathematics to advance the state of the art in software and hardware trustworthiness. We are a leader in the ground-breaking process of computing on data while it remains encrypted, and in the automated generation, validation and synthesis of high as*urance cryptographic solutions. We design capabilities to make the “human in the loop” work effectively in complex systems. Our software correctness tools guarantee the confidentiality, integrity, and availability of your systems. We investigate key questions in ensuring the safety and security of mobile networks and devices. The world is drowning in data, but most of it goes unused. We create tools that turn data into insights. We build tools to increase reliability and simplify the design of complex embedded systems. We develop new technologies that guarantee the confidentiality, integrity, and availability of your systems. We combine proven scientific methods with the latest technological innovations to solve our clients’ hardest problems. Want to know more? Contact us to discuss how we can work together on your most difficult challenges. Connect directly with Leah Daniels to discuss your idea or project, or send us a general inquiry to learn more about our work and process. We 901 N Stuart Street, Suite 501 Arlington, Virginia 22203 We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.