Mission Assurance: Beyond Secure Processing. - Michael Vai; David Whelihan; Jacob Leemaster; Haley Whitman; Willahelm Wan; Yunsi Fei; Roger Khazan; Ilia A. Lebedev; Kyle Hogan; Srinivas Devadas (QRS Companion, 2018)