Mitigate compliance and intellectual property risks through efficient and effective digital policy management. Our approaches allow for easy expression and maintenance of policies across enterprise networks.
The myriad electronic systems we interact with on a daily basis are controlled by digital policy — machine-usable descriptions of the behaviors allowed or performed by these computer systems. Digital policy manages everything from the access controls for grid computing systems to the filters that sort your email and control who can see private messages on Facebook.
Galois develops innovative approaches to assist with the creation, maintenance, and auditing of digital policy. We have applied approaches utilizing language processing, domain-specific languages, and static analysis to enable more complex, and more precise, policies to be easily expressed and to ease the long-term maintenance as those policies evolve.
Collaborate with Us
Licensing - Obtain a license for one of our advanced technologies.
Research & Development - Solve your toughest problems by exploring new approaches with us.
Training - Learn how to use cutting-edge tools to increase trustworthiness in your critical systems.