Trusted Computing CoE Training
Training Opportunities for seL4®
Introduction to seL4® Webinar
Instructors: Robbie VanVossen, DornerWorks, Ltd.
Introduction to the Secure Microkernel, seL4®
Instructors: Robbie VanVossen, DornerWorks, Ltd. and Nathan Studer, DornerWorks, Ltd.
Complete course descriptions, learning objectives, target audience, course outlines, and instructor bios are available at the above link.
Formal Methods for Functional Safety and Security in Cyber-Physical Systems
Instructor: Dr. Taylor T. Johnson, Vanderbilt Univ.
Complete course descriptions, learning objectives, target audience, course outlines, and instructor bios are available at the above link.