Galois does research in formal methods, programming language development, operating systems, compiler engineering, and security. Mr. Bielman has worked across a variety of projects in and around security policies and embedded system control, including work on policy formulation and analysis, policy implementation, and higher-assurance... Read More →