• WE'RE OPEN!
  • People
  • Download
  • Contact
Follow Us On Twitter Like Us On Facebook We're On Vimeo RSS Feed

  • Home
  • Solutions
  • Technologies
  • Research
  • Services
  • About
  • Blog

Galois

  • Home
  • Solutions
  • Technologies
  • Research
  • Services
  • About
  • Blog

Top
  • Home
  • Solutions
  • Technologies
  • Research
  • Services
  • About
  • Blog
About Sections

Get to Know Galois

WE'RE OPEN!

Careers

Press Releases

Downloads

Contact

People (Meet the Team)

Join the Team Button
Join the TeamLearn More >>
Data Sheets
  • Data Sheets
    • Technology Catalog

Downloads > Assured Information Sharing

  • File

    CrossTalk: Building Multilevel Secure Web Services-Based Components for GIG

     (206K)
  • File

    Tearline Wiki: Datasheet

     (379K)
  • File

    Trusted Services Engine: Datasheet

     (505K)
  • File

    Verified Safety and Information Flow of a Block Device

     (400K)

Open Source Library

Downloads available here >>

Copyright © 2012 Galois, Inc. All rights reserved.