The fourth Trusted Computing Center of Excellence Summit was held virtually from January 31st – February 3rd, 2022. The four-day packed agenda opened with a day-long set of optional tutorials. HENSOLDT kicked off the event with a tutorial entitled, “Teaser Training seL4, CAmkES and TRENTOS” followed by Kansas State University’s presentation on “Model-based Generation for seL4”. The afternoon sessions were made up of Trusted Science and Technology’s “ARES Secure Kernel on ZCU102 and RTI’s “OMG DDS for Simplifying seL4 Development and Use Cases”.
Approximately 85 government, industry and academia participants from around the globe attended the Summit. After opening remarks from the Summit General Chair Dr. Raymond Richards, the Defense Advanced Research Projects Agency’s (DARPA) Dr. Kathleen Fisher presented her keynote address on “Provable Security: Next Steps to Broader Deployment”. The bulk of the day was focused on efforts underway in national and defense labs with presentations from Air Force Research Laboratory, the Office of Naval Research, Army Combat Capabilities Development Command, DARPA, Sandia Labs, and Idaho National Laboratory. Professor Gernot Heiser then provided a “State of the Union” talk on seL4 and the seL4 Foundation. The day concluded with a panel discussion moderated by Dr. Jason Li and centered around “Proof, Assurance, and Evidence”.
The second day of the Summit’s formal program kicked off with a keynote address from Ian Crone from the Office of the Undersecretary of Defense. He was followed by a hardware focused session with presentations from DARPA, Cambridge University, and Lockheed Martin. Next up were presentations from HENSOLDT, Adventium Labs, and DornerWorks with an emphasis on assured systems. Dr. Raymond Richards from Leidos then gave a special presentation entitled “Survey and Lessons Learned on Separation Kernels”. Day two concluded with a panel moderated by Todd Carpenter from Adventium Labs and addressed “Gaps and Needs” in this technology area.
The final day of the Summit picked up where day two left off with a second session on assured systems and consisted of presentations from the University of Illinois at Urbana-Champaign, North Carolina Agricultural and Technical State University, and HENSHOLDT. Presentations then shifted focus to enclaves and trusted execution with talks by Ohio State University, Binghamton University, Berkeley Lab and UC Davis. That was followed by the third and final session on assured systems with Kestrel, Kansas State University, Adventium Labs, CymanII, and University of Texas San Antonio providing presentations. The Summit then wrapped up a set of talks centered on the seL4 Foundation, the Trusted Computing Center of Excellence, and ongoing technical challenges in the area. Presenters included the SeL4 Foundation, Adventium Labs, Intelligent Automation – A BlueHalo Company, and the Griffiss Institute.