A High-Assurance, High-Performance Hardware-Based Cross-Domain System.

David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens

Browse the full SAFECOMP paper archive.