This year, the TCCOE Summit will be held jointly again with the 2024 High Confidence Software and Systems Conference (HCSS) during May 6-8 at the same venue.
The Trusted Computing Center of Excellence has been established with support from DARPA, AFRL, and Griffiss Institute. The TCCOE seeks to support the Department of Defense’s (DoD) National Security mission through the transition and insertion of trustworthy software into the systems employed by the DoD to execute that mission. The TCCOE recognizes that the DoD incurs risk upon the execution of software, to minimize that risk there needs to be evidence supporting the trustworthiness of the software. Rigorous mathematical verification can offer the strongest evidence of trustworthiness but heretofore has faced numerous impediments to practical use. The TCCOE recognizes that we are at a technological inflection point in the maturation and capability to perform such verifications. The TCCOE will champion the insertion of trustworthy software into defense systems in a sound and prudent fashion.
This year, the main theme of the TCCOE Summit is ‘Current Technology Advances and Modern Software Development’. Similar to previous years, the Summit will include technical talks and expert panels on various tools and techniques.