CADSTONE INVESTIGATES SECURE COMPUTING TECHNOLOGY

October 6, 2006

LAWRENCE, KANSAS – Cadstone, LLC and Galois Connections, Inc. have united to jointly research techniques that enhance trust in high-assurance computing systems. Together, Cadstone and Galois will investigate techniques to establish a secure state upon system boot and maintain that secure state during execution. This research has broad implications due to the increasingly critical role computer systems play in our day-to-day lives. Assuring trust is the first step towards providing a reliable, secure computing infrastructure. Systems developed using techniques resulting from this research will provide a trusted platform on which to build computing systems.

Cadstone is excited about this new alliance because of Galois' position as a world leader in high-assurance, secure computing technologies. Galois brings a team with unique skills spanning all aspects of high-assurance computing ranging from formal modeling to experience developing high-assurance software. Cadstone brings experience in system-level design and semantics built around the Rosetta specification language. This alliance enables the companies to explore new techniques for ensuring trust in complete computer systems rather than individual components.

"Our clients are increasingly interested in R&D that supports the development of next-generation secure computing platforms," said Dave Garnand, VP of Client Relations. "Tomorrow's platforms will play a crucial role in securing safety and security-critical networks. We're eager to continue exploring the application of formal specifications in the development process and are fortunate to have Cadstone on our team."

The system-level approach to trusted, high-assurance computing infrastructure represents a new research direction that both Cadstone and Galois believe will present long-term opportunities for research and development. They anticipate future research work as well as potential verification and implementation efforts. In addition, they also anticipate branching out into telecommunication, networking and sensor systems.

About Cadstone, LLC
A spin-off of the University of Kansas Information and Telecommunication Technology Center, Cadstone, LLC develops analysis tools to support system-level design. Cadstone leverages the Rosetta system-level specification language by providing capabilities for soundly transforming specifications into analysis models. In addition, Cadstone provides capabilities for composing specifications from different domains to understand system-level implications of local design decisions early in the design process. Cadstone is privately funded and works under contract for government and industry clients.
For more information visit http://www.cadstone.com

About Galois Connections, Inc.
Headquartered in Beaverton, OR, Galois offers high assurance technologies and services focused on the design and development of next generation trusted systems and software. With expertise in cross-domain collaboration and reconfigurable cryptography, Galois engineers solutions that protect and defend complex, security-critical IT systems. Recognized for innovative use of cutting-edge, mathematically-based tools and techniques, Galois is active in formal methods R&D communities and works under contract for government and industry clients.
For more information visit http://www.galois.com