A High-Assurance, High-Performance Hardware-Based Cross-Domain System. - David S. Hardin; Konrad Slind; Mark Bortz; James Potts; Scott Owens (SAFECOMP, 2016)