2016
A High-Assurance, High-Performance Hardware-Based Cross-Domain System.
[DOI]
David S. Hardin
,
Konrad Slind
,
Mark Bortz
,
James Potts
,
Scott Owens
Proceedings of the Computer Safety, Reliability, and Security, 2016