SAE International® Professional Development FEATURED LEARNING OPPORTUNITIES
LEARNING OBJECTIVES • By attending this seminar, you will be able to: • Determine if seL4 is a good choice for your security solutions • Develop and build basic seL4 applications • Describe what the formal proof implies about seL4 • Identify capability- based systems
NEW
Introduction to the Secure Microkernel, seL4 C1874 2 Days | Classroom Seminar OVERVIEW
Groups of 5 or more, learn about SAE Corporate Learning Solutions by contacting corplearn@sae.org or call +1.724.772.8529.
Security continues to be an ever-growing concern in more and more design spaces. Higher security is needed through the entire system stack, testing only exposes so many vulnerabilities. Formal methods is a solution that ensures specific behaviors will not occur. seL4 is the first, formally-proven microkernel and is open-source. This makes it a great solution for systems needing strong security. The highest profile, successful application of the seL4 Microkernel was the DARPA High-Assurance Cyber Military Systems (HACMS) project. where it was demonstrated that formal verification can scale to real-life systems to protect a wide range of cyber-physical systems from attacks. COURSE DETAILS Instructor N. Studer N. Studer N. Studer Location Herndon, VA Herndon, VA San Jose, CA Date Jul 16–17 Jul 16–17 Jul 16–17
Fees CEUs
$1,460.00 SAE Members: $1,314.00
1.3
Issue 3 | July–December, 2019 9
Made with FlippingBook - Online Brochure Maker