• Home
  • About
    • Bylaws
    • Organization Structure
    • Organizing Committee
    • Privacy Policy
  • Membership
    • Apply for Membership
    • Membership Info
    • Our Members
  • Summits
    • 2020 Summit
    • 2019 Summit
    • 2018 Summit
  • Resources
    • About seL4®
    • seL4® Foundation
    • Download seL4®
    • Documentation for seL4®
    • Discussion Forum
    • Code Repository
    • Private Discussion Forum
    • Private Code Repository
    • Private Wiki
  • Training
  • Contact

Trusted Computing CoE Training

Training Opportunities for seL4®

Introduction to seL4® Webinar
Instructors: Robbie VanVossen, DornerWorks, Ltd.
WATCH VIDEO
DOWNLOAD SLIDES
Introduction to the Secure Microkernel, seL4®
Instructors: Robbie VanVossen, DornerWorks, Ltd. and Nathan Studer, DornerWorks, Ltd.
LEARN MORE
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.
LEARN MORE
Complete course descriptions, learning objectives, target audience, course outlines, and instructor bios are available at the above link.
Check back soon for addtional training opportunities.
seL4® Used by temporary conditional permission. Copyright © 2021 Griffiss Institute. All rights reserved

We use cookies to enable essential functionality on our website, and analyze website traffic. By clicking Accept you consent to our use of cookies. Read about how we use cookies.

Your Cookie Settings

We use cookies to enable essential functionality on our website, and analyze website traffic. Read about how we use cookies.

Cookie Categories

Essential

These cookies are strictly necessary to provide you with services available through our websites. You cannot refuse these cookies without impacting how our websites function. You can block or delete them by changing your browser settings, as described under the heading "Managing cookies" in the Privacy and Cookies Policy.

Analytics

These cookies collect information that is used in aggregate form to help us understand how our websites are being used or how effective our marketing campaigns are.