Dear seL4 community,
I’m pleased to announce yet another contribution of UNSW Sydney to the seL4 community: This year I’m making the seL4-related videos from my UNSW Advanced Operating Systems class freely available. You’ll find them at the UNSW CSeLearning COMP9242 YouTube channel: https://www.youtube.com/playlist?list=PLbSaCpDlfd6qLbEsKquVo3--0gwYBmrUV
At present there are the first two modules, which provide some background on microkernels and seL4, and discuss the seL4 API. More material will show up over the next two months.
The complete course material, including all lecture slides, the project spec and code, are available, as always, from the COMP9042 web site: https://www.cse.unsw.edu.au/~cs9242/current/
You are cordially invited to submit an abstract for consideration for presentation during the 3rdAnnual seL4 Summit (supported by DARPA and AFRL), to be held virtually on November 15-18, 2020.
seL4 is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The seL4 Summit is part of an effort to establish a Center of Excellence (COE) focused on seL4 ecosystems, aiming to mature the seL4 technology, stabilize the software distribution, train and expand the user base, and develop needed capabilities.
The development of seL4 is supported by NICTA in Australia, and the development of the COE is being supported by the Defense Advanced Research Projects Agency (DARPA), both efforts aim to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties.
For information about the First and Second seL4 Summit, please visit the Summit website at https://www.sel4-us.org/summit2020.
The Organizing Committee invite researchers and practitioners from academia, industry, and government to present work of interest to the seL4 community during the Third Annual seL4 Summit. The abstract should include a title, name of the presenter, organization, a brief description of the work (or work in progress), and its relevance to seL4 and building assured systems. Interested topics include, but are not limited to, the following:
* OS Kernel Design
* Building Assured Systems
* seL4 Center of Excellence and Ecosystem
* Government Efforts
* Capabilities and Applications based on a Microkernel
* Embedded and Cyber Physical System
* Formal Verification and Tools
* Trusted Execution Environment
* Correctness by Construction
* Secure and Resilient Systems
* Maturity, Assurance, and Transition
* Artifacts and Certification
* Call for Presentation Submissions Due: 08/28/2020
* Author Notification Due: 09/18/2020
* Final Video (with sound) Presentation Due: 10/23/2020
Extended Abstracts for Presentation should be sent to Summit2020(a)sel4-us.org<mailto:Summit2020@sel4-us.org>.
seL4 Center of Excellence Organizing Committee
Dear seL4 community,
We’re happy to announce the newest member of the seL4 Foundation: Minneapolis-based company Adventium Labs.
Adventium Labs develops solutions for safe and secure software-intensive complex systems, with specialties in separation architectures, model-based system engineering, and mathematical analysis technologies. They are leveraging these capabilities to extend seL4 into safety and security critical industries, including medical devices, defense and commercial avionics, and industrial control.
seL4 Foundation Chair