On May 7, the Air Force Research Laboratory posted the broad agency announcement for Foundations of Trusted Computational Information Systems(FA8750-17-S-7007)….