Dear all, Many thanks for the discussion today. Please find attached the master file we worked on this morning. We had a few action items: - Gernot to ask Nils@ETH for a talk (+Q&A) on their hardware on time protection - June to ask HC about a talk on their general plans/roadmap (+ a teaser for the TRENTOS training) - Darren to organise a talk on CASE wrap-up / lessons learned; + potentially a training on the Briefcase tools - Todd to coordinate with John on a talk on HAMR (+ a potential training if available) - Nick to organise a talk on Rust (intro +“Survey”+ potential survey + discussion) - Kent to investigate a talk from Indan Zupanic on MCS virtualisation / MC - Gernot to ask Phil Maker about a talk on LAOT - June to check about a talk from Nathan on FerrOS (unikernel on Rust) - June to investigate a “Funding panel” (NCSC, DARPA, “German DARPA”…) Let me know if I’ve missed anything and please come back to me with an update **early next week** if possible :) I’ll come back to you shortly regarding invited speakers options, once I’ve worked a bit on a program. I think we can do this via email and won’t need another meeting for that. Many thanks all! It’s a pleasure working with such a team :) June