Innovation with Integrity
We solve your toughest security, reliability & privacy problems.
Let's Work TogetherUse Cryptol to quickly explore different time/space tradeoffs for cryptographic implementations. Prove correctness of software or hardware implementations from a single specification. Learn more by reading a recent article published in a government magazine sent to all DoD contractors.
Jan 30, 2012
Dylan McNamee is speaking at The Open Group Conference at the Real Time and Embedded Systems Forum in San Francisco. The title of his talk is "Enforcing Security Policies with a MILS Architecture." We hope to see you there!
We solve your toughest security, reliability & privacy problems.
Let's Work TogetherCopyright © 2011 Galois, Inc. All rights reserved.